Journals in DBLP

Ann. Pure Appl. Logic
2004, volume: 127, number: 1-3

1. Philippe Balbiani, Dimiter Vakarelov
   Dynamic extensions of arrow logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:1-15 [Journal]
   
2. Janusz Czelakowski, Don Pigozzi
   Fregean logics. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:17-76 [Journal]
   
3. Ivo Düntsch, Ewa Orlowska
   Boolean algebras arising from information systems. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:77-98 [Journal]
   
4. Silvio Ghilardi
   Unification, finite duality and projectivity in varieties of Heyting algebras. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:99-115 [Journal]
   
5. Roger D. Maddux
   Finite, integral, and finite-dimensional relation algebras: a brief history. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:117-130 [Journal]
   
6. George F. McNulty
   Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:131-153 [Journal]
   
7. Leo Esakia
   Intuitionistic logic and modality via topology. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:155-170 [Journal]
   
8. Melvin Fitting
   First-order intensional logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:171-193 [Journal]
   
9. Robert K. Meyer
   Ternary relations and relevant semantics. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:195-217 [Journal]
   
10. Marcin Mostowski, Dominika Wojtyniak
    Computational complexity of the semantics of some natural language constructions. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:219-227 [Journal]
    
11. Stan J. Surma
    Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:229-242 [Journal]
    
12. Urszula Wybraniec-Skardowska
    Foundations for the formalization of metamathematics and axiomatizations of consequence theories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:243-266 [Journal]
    
13. Arianna Betti
    Lesniewski's early Liar, Tarski and natural language. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:267-287 [Journal]
    
14. Roman Duda
    On the Warsaw interactions of logic and mathematics in the years 1919-1939. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:289-301 [Journal]
    
15. Stanislaw Krajewski
    Gödel on Tarski. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:303-323 [Journal]
    
16. Roman Murawski
    Philosophical reflection on mathematics in Poland in the interwar period. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:325-337 [Journal]
    
17. Jan Wolenski
    Aletheia in Greek thought until Aristotle. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:339-360 [Journal]