scientific article; zbMATH DE number 3261581
From MaRDI portal
Publication:5547552
zbMath0163.24209MaRDI QIDQ5547552
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A Lemma which Distinguishes Minimal Logics from Other Logics ⋮ On Development of Formal Systems Starting from Primitive Logic ⋮ On a Characteristic Feature of the Positive Logics ⋮ Unnamed Item ⋮ On the linearK-arboricity of cubic graphs ⋮ Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik ⋮ Certain Method for Generating a Series of Logics ⋮ Intensional models for first degree formulas ⋮ Some calculi with strong negation primitive ⋮ On the role of implication in formal logic ⋮ Dialogspiele als Semantische Grundlage von Logikkalkülen ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ A Remark on the Intersection of Tow Logics ⋮ A knowledge representation perspective: Logics for paraconsistent reasoning ⋮ Two examples of algorithms ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ On the fundamental role of `means that' in semantic theorizing ⋮ What is a logical theory? On theories containing assertions and denials ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ Unnamed Item ⋮ Rejection: a historico-epistemological view ⋮ On the proof theory of the intermediate logic MH ⋮ On cut elimination in the presence of perice rule ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ A Markov Algorithm Interpreter ⋮ Gentzenizations of relevant logics without distribution. I ⋮ On derivations and generalized derivations of bitonic algebras ⋮ On interpolation when function symbols are present ⋮ On the decidability of implicational ticket entailment ⋮ On meaningfulness and truth ⋮ Head or tail? de morgan on the bounds of traditional logic ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ Subtractive logic ⋮ E, R AND γ ⋮ Sequent-systems for modal logic ⋮ A sequent calculus for type assignment ⋮ On Displaying Negative Modalities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ Fregean Description Theory in Proof-Theoretical Setting ⋮ Meeting of the Association for Symbolic Logic, New York, 1979 ⋮ Consistency proof without transfinite induction for a formal system for turing machines ⋮ Non-classical operations hidden in classical logic ⋮ On the proof theory of the modal logic for arithmetic provability ⋮ Notes on the theory of variable binding term operators ⋮ A reduction theorem for normal algorithms ⋮ Lorenzen and Constructive Mathematics ⋮ Independence of two nice sets of axioms for the propositional calculus ⋮ Current trends in substructural logics ⋮ On ordered filters of implicative semigroups ⋮ Variants of the basic calculus of constructions ⋮ On matrix equations in a class of complete and completely distributive lattices ⋮ Implicative commutative semigroups are equivalent to a class of BCK algebras ⋮ Sentential constants in R and \(R^{\neg}\) ⋮ Henkin’s Theorem in Textbooks ⋮ Models for normal intuitionistic modal logics ⋮ Positive modal logic ⋮ Extended topology: Filters and convergence. I ⋮ Structural aspects of semantic-directed clusters ⋮ Bi-Heyting algebras, toposes and modalities ⋮ Ternary relations and relevant semantics ⋮ Finite approximatization of languages for representation of system properties: Axiomatization of dependencies ⋮ On structural features of the implication fragment of Frege's \textit{Grundgesetze} ⋮ A note on some intermediate propositional calculi ⋮ Sentence, proposition and identity ⋮ Strategic Maneuvering in Mathematical Proofs ⋮ New axiomatics for relevant logics. I ⋮ Fuzzy power sets and fuzzy implication operators ⋮ Relevant Robinson's arithmetic ⋮ Solvable classes of pseudoprenex formulas ⋮ Curry's formalism as structuralism ⋮ Uni-soft structure applied to ordered semigroups ⋮ On congruences in weak implicative semi-lattices ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ Some work of Lithuanian mathematicians in the domain of mathematical logic and programming ⋮ A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic ⋮ Proof theory for functional modal logic ⋮ Four-valued logic ⋮ From multiple sequent for additive linear logic to decision procedures for free lattices ⋮ A survey of state vectors ⋮ Lower bounds for increasing complexity of derivations after cut elimination ⋮ Three ways of recognizing inessential formulas in sequents ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Simple cut elimination proof for hybrid logic ⋮ The semantics of entailment omega ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ Hilbert algebras as implicative partial semilattices ⋮ Maehara-style modal nested calculi ⋮ Implementing the `Fool's model' of combinatory logic ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Coquand's calculus of constructions: A mathematical foundation for a proof development system ⋮ Netl and subsequent path-based inheritance theories ⋮ Bounds for cut elimination in intuitionistic propositional logic ⋮ A Brief History of Natural Deduction ⋮ Unnamed Item ⋮ Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment ⋮ On representation of finite pseudo-Boolean algebras and one of its applications ⋮ Homomorphisms of implicative semigroups ⋮ Process and action: Relevant theory and logics ⋮ Linearizing intuitionistic implication ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ A survey of nonstandard sequent calculi ⋮ On a generalized cylindrical algebra and intuitionistic logic ⋮ About the equivalent theories of algebras with relations ⋮ On logical systems with implications and theories of algebras ⋮ Conservative extension in relevant implication ⋮ Negative equivalence of extensions of minimal logic ⋮ Discussive sentential calculuc of Jaskowski ⋮ Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets ⋮ Normalization and excluded middle. I ⋮ The Lesniewski-Curry theory of syntactical categories and the categorially open functors ⋮ Consistency proofs for applied mathematics ⋮ The harmony of identity ⋮ On fuzzy ordered semigroups. ⋮ \(l\)-hemi-implicative semilattices ⋮ The neglect of epistemic considerations in logic: the case of epistemic assumptions ⋮ A propositional fragment of Lesniewski's ontology ⋮ Coordination of parallel partially ordered processes ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Relevant analytic tableaux ⋮ A cut-elimination proof in positive relevant logic with necessity ⋮ L-ALMOST DISTRIBUTIVE LATTICES ⋮ \(\supset\)E is admissible in ``true relevant arithmetic ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra ⋮ A weakening of intuitionistic logic ⋮ What is a non-truth-functional logic? ⋮ Separability of normalizable superintuitionistic propositional logics ⋮ Subminimal negation on the Australian plan ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ The revival of rejective negation ⋮ On the algebra of classes of formulae of Jaskowski's discussive system ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Noncumulative dialectical models and formal dialectics ⋮ Dialogues, strategies, and intuitionistic provability ⋮ On filters of implicative semilattices ⋮ On sequence-conclusion natural deduction systems ⋮ Kripke models for linear logic ⋮ On relative principal congruences in term quasivarieties ⋮ The compactness of first-order logic:from gödel to lindström ⋮ Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) ⋮ An alternative normalization of the implicative fragment of classical logic ⋮ Peirce's rule in natural deduction. ⋮ Types of I-free hereditary right maximal terms ⋮ Why ramify? ⋮ Admissibility of cut in LC with fixed point combinator ⋮ Relational semantics for Kleene logic and action logic
