VOL. 46 · NO. 4 | 2005
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 46 (4), (2005)
No abstract available
Articles
Yannis Stephanou
Notre Dame J. Formal Logic 46 (4), 381-405, (2005) DOI: 10.1305/ndjfl/1134397658
KEYWORDS: actually operators, first-order modal logic, 03B45
Saeed Salehi
Notre Dame J. Formal Logic 46 (4), 407-417, (2005) DOI: 10.1305/ndjfl/1134397659
KEYWORDS: provably total function, Basic Arithmetic, Basic Logic, realizability, 03F30, 03F50
A. Ivanov
Notre Dame J. Formal Logic 46 (4), 419-424, (2005) DOI: 10.1305/ndjfl/1134397660
KEYWORDS: simple theories, homogeneous structures, generic automorphisms, 03C45, 03C10
Mauro Gattari
Notre Dame J. Formal Logic 46 (4), 425-437, (2005) DOI: 10.1305/ndjfl/1134397661
KEYWORDS: modal logic, finite modalities, physical modalities, tableau system, consistency property, 03B45, 03B25
George Voutsadakis
Notre Dame J. Formal Logic 46 (4), 439-460, (2005) DOI: 10.1305/ndjfl/1134397662
KEYWORDS: abstract algebraic logic, deductive systems, institutions, equivalent deductive systems, algebraizable deductive systems, adjunctions, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, 03Gxx, 18Axx, 68N05
Katalin Bimbó, J.~Michael Dunn
Notre Dame J. Formal Logic 46 (4), 461-490, (2005) DOI: 10.1305/ndjfl/1134397663
KEYWORDS: gaggle theory, Routley-Meyer semantics, Kripke semantics, nonclassical logics, modal logics, join semi-lattice, residuation, reflexive transitive closure, Kleene star, regular languages, 03B47, 03B45, 68Q70, 03D05
Anand Pillay, Evgueni Vassiliev
Notre Dame J. Formal Logic 46 (4), 491-501, (2005) DOI: 10.1305/ndjfl/1134397664
KEYWORDS: simple theory, low, pair, 03C45, 03C10
Reviews
Richard Zach
Notre Dame J. Formal Logic 46 (4), 503-513, (2005) DOI: 10.1305/ndjfl/1134397665
KEYWORDS: philosophy of arithmetic, Hilbert's program, finitism, Goedel incompleteness theorems, 03A05, 00A30
No abstract available
Back Matter
Notre Dame J. Formal Logic 46 (4), (2005)
No abstract available
Back to Top