VOL. 48 · NO. 4 | 2007
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 48 (4), (2007)
No abstract available
Articles
José Martínez Fernández
Notre Dame J. Formal Logic 48 (4), 449-472, (2007) DOI: 10.1305/ndjfl/1193667704
KEYWORDS: three-valued propositional logic, clone, fixed-point property, 03B50
Riccardo Camerlo
Notre Dame J. Formal Logic 48 (4), 473-488, (2007) DOI: 10.1305/ndjfl/1193667705
KEYWORDS: intuitionistic set theories, finiteness axioms, induction axiom schema, 03F55, 03E70
Daisuke Souma
Notre Dame J. Formal Logic 48 (4), 489-495, (2007) DOI: 10.1305/ndjfl/1193667706
KEYWORDS: substructural logic, residuated lattice, disjunction property, well-connectedness, 03B47, 03G25
Richard Kaye, Tin Lok Wong
Notre Dame J. Formal Logic 48 (4), 497-510, (2007) DOI: 10.1305/ndjfl/1193667707
KEYWORDS: Peano Arithmetic, finite set theory, interpretations, 03H15, 03C62
Michael Kaminski, Michael Tiomkin
Notre Dame J. Formal Logic 48 (4), 511-520, (2007) DOI: 10.1305/ndjfl/1193667708
KEYWORDS: modal logic, cluster-decomposable Kripke interpretations, 03B42, 03B45
Alexander Hertel, Philipp Hertel, Charles Morgan
Notre Dame J. Formal Logic 48 (4), 521-530, (2007) DOI: 10.1305/ndjfl/1193667709
KEYWORDS: logical contingencies, logically contingent formulas, classical propositional logic, purely syntactic proof systems, 03B05
Philip Scowcroft
Notre Dame J. Formal Logic 48 (4), 521-550, (2007) DOI: 10.1305/ndjfl/1193667710
KEYWORDS: ordered Abelian group, bounded quantifier, elimination of unbounded quantifiers, 03C64, 06F20
Back Matter
Notre Dame J. Formal Logic 48 (4), (2007)
No abstract available
Notre Dame J. Formal Logic 48 (4), (2007)
No abstract available
Back to Top