VOL. 46 · NO. 4 | 2005
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 46 (4), (2005) Open Access
No abstract available
Articles
Yannis Stephanou
Notre Dame J. Formal Logic 46 (4), 381-405, (2005) DOI: 10.1305/ndjfl/1134397658 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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) Open Access
No abstract available
Back to Top