default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 127

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 127, Numbers 1-3, June 2004

Provinces of logic determined. Essays in the memory of Alfred Tarski. Parts IV, V and VI

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BalbianiV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BalbianiV04
Philippe Balbiani, Dimiter Vakarelov:
Dynamic extensions of arrow logic. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/apal/CzelakowskiP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/CzelakowskiP04
Janusz Czelakowski, Don Pigozzi:
Fregean logics. 17-76
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DuntschO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DuntschO04
Ivo Düntsch, Ewa Orlowska:
Boolean algebras arising from information systems. 77-98
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ghilardi04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ghilardi04
Silvio Ghilardi:
Unification, finite duality and projectivity in varieties of Heyting algebras. 99-115
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Maddux04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Maddux04
Roger D. Maddux:
Finite, integral, and finite-dimensional relation algebras: a brief history. 117-130
- view
  authority control:
- export record
  dblp key:
  - journals/apal/McNulty04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/McNulty04
George F. McNulty:
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. 131-153
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Esakia04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Esakia04
Leo Esakia:
Intuitionistic logic and modality via topology. 155-170
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Fitting04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Fitting04
Melvin Fitting:
First-order intensional logic. 171-193
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Meyer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Meyer04
Robert K. Meyer:
Ternary relations and relevant semantics. 195-217
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MostowskiW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MostowskiW04
Marcin Mostowski, Dominika Wojtyniak:
Computational complexity of the semantics of some natural language constructions. 219-227
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Surma04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Surma04
Stan J. Surma:
Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g. 229-242
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Wybraniec-Skardowska04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Wybraniec-Skardowska04
Urszula Wybraniec-Skardowska:
Foundations for the formalization of metamathematics and axiomatizations of consequence theories. 243-266
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Betti04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Betti04
Arianna Betti:
Lesniewski's early Liar, Tarski and natural language. 267-287
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Duda04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Duda04
Roman Duda:
On the Warsaw interactions of logic and mathematics in the years 1919-1939. 289-301
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Krajewski04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Krajewski04
Stanislaw Krajewski:
Gödel on Tarski. 303-323
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Murawski04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Murawski04
Roman Murawski:
Philosophical reflection on mathematics in Poland in the interwar period. 325-337
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Wolenski04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Wolenski04
Jan Wolenski:
Aletheia in Greek thought until Aristotle. 339-360

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.