The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002