Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 127
Volume 127, Numbers 1-3, June 2004
- Philippe Balbiani
, Dimiter Vakarelov:
Dynamic extensions of arrow logic. 1-15 - Janusz Czelakowski, Don Pigozzi:
Fregean logics. 17-76 - Ivo Düntsch, Ewa Orlowska:
Boolean algebras arising from information systems. 77-98 - Silvio Ghilardi:
Unification, finite duality and projectivity in varieties of Heyting algebras. 99-115 - Roger D. Maddux:
Finite, integral, and finite-dimensional relation algebras: a brief history. 117-130 - George F. McNulty:
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. 131-153 - Leo Esakia:
Intuitionistic logic and modality via topology. 155-170 - Melvin Fitting:
First-order intensional logic. 171-193 - Robert K. Meyer:
Ternary relations and relevant semantics. 195-217 - Marcin Mostowski, Dominika Wojtyniak:
Computational complexity of the semantics of some natural language constructions. 219-227 - Stan J. Surma:
Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g. 229-242 - Urszula Wybraniec-Skardowska:
Foundations for the formalization of metamathematics and axiomatizations of consequence theories. 243-266 - Arianna Betti:
Lesniewski's early Liar, Tarski and natural language. 267-287 - Roman Duda:
On the Warsaw interactions of logic and mathematics in the years 1919-1939. 289-301 - Stanislaw Krajewski:
Gödel on Tarski. 303-323 - Roman Murawski:
Philosophical reflection on mathematics in Poland in the interwar period. 325-337 - Jan Wolenski:
Aletheia in Greek thought until Aristotle. 339-360
a service of 
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.
last updated on 2024-07-06 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
