VOL. 47 · NO. 4 | 2006
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 47 (4), (2006)
No abstract available
Articles
Ian Hodkinson
Notre Dame J. Formal Logic 47 (4), 443-478, (2006) DOI: 10.1305/ndjfl/1168352661
KEYWORDS: canonical modal logic, elementary frame class, Sahlqvist theorem, hybrid logic, 03B45
Steffen Lempp, Carl Mummert
Notre Dame J. Formal Logic 47 (4), 479-485, (2006) DOI: 10.1305/ndjfl/1168352662
KEYWORDS: computable poset, filter‎, reverse mathematics, 03D, 03B30, 06
George Voutsadakis
Notre Dame J. Formal Logic 47 (4), 487-514, (2006) DOI: 10.1305/ndjfl/1168352663
KEYWORDS: algebraic logic, equivalent deductive systems, equivalent institutions, protoalgebraic logics, equivalential logics, algebraizable deductive systems, adjunctions, equivalent categories, algebraizable institutions, Leibniz operator, Tarski operator, Leibniz hierarchy, 03G99, 18C15, 68N30
Joel David Hamkins, Alexei Miasnikov
Notre Dame J. Formal Logic 47 (4), 515-524, (2006) DOI: 10.1305/ndjfl/1168352664
KEYWORDS: Turing machines, halting problem, decidability, 03D10, 68Q17
Alexei Y. Muravitsky
Notre Dame J. Formal Logic 47 (4), 525-540, (2006) DOI: 10.1305/ndjfl/1168352665
KEYWORDS: modal logic, intermediate logic, McKinsey-Tarski translation, Distributive lattice, 03B45, 03B53
Sam Butchart, Tomasz Kowalski
Notre Dame J. Formal Logic 47 (4), 541-544, (2006) DOI: 10.1305/ndjfl/1168352666
KEYWORDS: substructural logics, BCI logic, monothetic BCI logic, 03B47
Gillman Payette, Blaine d'Entremont
Notre Dame J. Formal Logic 47 (4), 545-555, (2006) DOI: 10.1305/ndjfl/1168352667
KEYWORDS: measure, level, paraconsistent logic, compactness, Forcing, 03B53, 03B22, 28B10
Kai Brünnler
Notre Dame J. Formal Logic 47 (4), 557-580, (2006) DOI: 10.1305/ndjfl/1168352668
KEYWORDS: cut elimination, deep inference, locality, 03F05, 03F07
Reviews
O. Bradley Bassler
Notre Dame J. Formal Logic 47 (4), 581-599, (2006) DOI: 10.1305/ndjfl/1168352669
KEYWORDS: intuitionism, bar theorem, fan theorem, Brouwer, choice sequences, creating subject, intersubjectivity, 03A05, 03F55
No abstract available
Back Matter
Notre Dame J. Formal Logic 47 (4), (2006)
No abstract available
Back to Top