Facet browsing currently unavailable
Page 3 of 2720 results
Sort by: relevance publication year
Post's functional completeness theorem. JOURNAL ARTICLE published 1 June 1990 in Notre Dame Journal of Formal Logic |
Notes on the mathematical aspects of Kripke's theory of truth. JOURNAL ARTICLE published 1 January 1986 in Notre Dame Journal of Formal Logic |
Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems. JOURNAL ARTICLE published 1 December 1990 in Notre Dame Journal of Formal Logic |
Consequential implication. A correction to: ``Decision procedures for logics of consequential implication''. JOURNAL ARTICLE published 1 September 1993 in Notre Dame Journal of Formal Logic |
Classes of universal decision elements using negative substitutions. JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic |
On defining sentential connectives. JOURNAL ARTICLE published 1 April 1987 in Notre Dame Journal of Formal Logic |
Referential occurrence. JOURNAL ARTICLE published 1 January 1980 in Notre Dame Journal of Formal Logic |
Quantifier responsiveness. JOURNAL ARTICLE published 1 July 1987 in Notre Dame Journal of Formal Logic |
There are denumerably many ternary intuitionistic Sheffer functions. JOURNAL ARTICLE published 1 September 1988 in Notre Dame Journal of Formal Logic |
The nonaxiomatizability of $L(Q^2_{aleph_1})$ by finitely many schemata. JOURNAL ARTICLE published 1 December 1989 in Notre Dame Journal of Formal Logic |
Petrus Fonseca and material implication. JOURNAL ARTICLE published 1 July 1968 in Notre Dame Journal of Formal Logic |
Meaning and interpretation. JOURNAL ARTICLE published 1 April 1982 in Notre Dame Journal of Formal Logic |
Simple implicational development. JOURNAL ARTICLE published 1 April 1975 in Notre Dame Journal of Formal Logic |
Modalities in vector logic. JOURNAL ARTICLE published 1 March 1994 in Notre Dame Journal of Formal Logic |
A theorem for deriving consequences of the axiom of choice. JOURNAL ARTICLE published 1 October 1967 in Notre Dame Journal of Formal Logic |
The difference model of voting. JOURNAL ARTICLE published 1 September 1992 in Notre Dame Journal of Formal Logic |
Surface reasoning. JOURNAL ARTICLE published 1 December 1991 in Notre Dame Journal of Formal Logic |
Characters and fixed-points in provability logic. JOURNAL ARTICLE published 1 December 1989 in Notre Dame Journal of Formal Logic |
A generalization of the adequacy theorem for the quasi-senses. JOURNAL ARTICLE published 1 September 1990 in Notre Dame Journal of Formal Logic |
Subcountability under realizability. JOURNAL ARTICLE published 1 April 1986 in Notre Dame Journal of Formal Logic |