scientific article; zbMATH DE number 1028821
From MaRDI portal
Publication:4342084
zbMath0875.03020MaRDI QIDQ4342084
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Proof-theory and semantics for a theory of definite descriptions, Some model-theoretic remarks on the Ramsey sentence, with a closer look at Ketland's argument, A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments, Single-domain free logic and the problem of compositionality, Names and quantifiers: bringing them together in classical logic, Substitutional validity for modal logic, Compositionality solves Carnap's problem, Free variable tableaux for propositional modal logics, Semantical analysis of specification logic, Stanisław Jaśkowski: Life and Work, Stanisław Jaśkowski and Natural Deduction Systems, A framework for measuring the complexity of mathematical concepts, On a paradox of Hilbert and Bernays, Free logics are cut-free, Jaśkowski's universally free logic, A variant of Thomason's first-order logic CF based on situations, Fregean Description Theory in Proof-Theoretical Setting, Proto-semantics for positive free logic, Free Definite Description Theory – Sequent Calculi and Cut Elimination, Definite Descriptions in Intuitionist Positive Free Logic, Symbolic Existence in Hugh MacColl: A Dialogical Approach, A binary quantifier for definite descriptions for cut free free logics
