scientific article; zbMATH DE number 3222098
From MaRDI portal
Publication:5509675
zbMath0137.00702MaRDI QIDQ5509675
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Current trends in substructural logics ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ A theory of modal dialectics ⋮ Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic ⋮ The intuitionistic fragment of computability logic at the propositional level ⋮ An improved refutation system for intuitionistic predicate logic ⋮ Bringing Order to the Separation Logic Jungle ⋮ Tableau for the logic ILP ⋮ A semantics for \(\lambda \)Prolog ⋮ A general relational semantics of propositional logic: axiomatization ⋮ Disjunction and negation in information based semantics ⋮ The Lambek calculus extended with intuitionistic propositional logic ⋮ Effect of the choice of connectives on the relation between classical logic and intuitionistic logic ⋮ Semantics-based nonmonotonic inference ⋮ Partial up an down logic ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ Creative subject, Beth models and neighbourhood functions ⋮ Indexed systems of sequents and cut-elimination ⋮ On the universality of atomic and molecular logics via protologics ⋮ Constructive sheaf models of type theory ⋮ Iterated team semantics for a hierarchy of informational types ⋮ Completeness proofs for propositional logic with polynomial-time connectives ⋮ Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels ⋮ Bohrification of operator algebras and quantum logic ⋮ A 4-valued framework encompassing intuitionistic and classical logic ⋮ The defective conditional in mathematics ⋮ A computational interpretation of conceptivism ⋮ Direct deductive computation on discourse representation structures ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ Intuitionistic completeness of first-order logic ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Hennessy-Milner properties via topological compactness ⋮ Intuitive counterexamples for constructive fallacies ⋮ Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning ⋮ Non-monotonic logic. I ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics ⋮ Cut-free formulations for a quantified logic of here and there ⋮ Questions as information types ⋮ Semantical analysis of specification logic ⋮ Delimited control operators prove double-negation shift ⋮ The Church-Fitch knowability paradox in the light of structural proof theory ⋮ Mathematical modal logic: A view of its evolution ⋮ Iris from the ground up: A modular foundation for higher-order concurrent separation logic ⋮ Truth-maker semantics for intuitionistic logic ⋮ Computations in fragments of intuitionistic propositional logic ⋮ Belief functions on distributive lattices ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ A semantic hierarchy for intuitionistic logic ⋮ Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics ⋮ Basic Constructive Connectives, Determinism and Matrix-Based Semantics ⋮ Kripke semantics for higher-order type theory applied to constraint logic programming languages ⋮ Basic intuitionistic conditional logic ⋮ A Kripke model for simplicial sets ⋮ QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS ⋮ Läuchli's completeness theorem from a topos-theoretic perspective ⋮ Free Heyting algebras ⋮ The decision problem for some finite extensions of the intuitionistic theory of abelian groups ⋮ Vagueness, truth and logic ⋮ Normal modal model theory ⋮ Unnamed Item ⋮ A Kripke-style semantics for R-mingle using a binary accessibility relation ⋮ Kripke semantics for intuitionistic Łukasiewicz logic ⋮ Tavole semantiche per sistemi astratti di logica estensionale ⋮ Semantical analyses of propositional systems of Fitch and Nelson ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Kripke models, distributive lattices, and Medvedev degrees ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement ⋮ Predicate logical extensions of some subintuitionistic logics ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Forcing operators on MTL-algebras ⋮ Negation on the Australian plan ⋮ Intuitionist logic, a logic of justification ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol ⋮ Intuitionistic propositional logic is polynomial-space complete ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ On logics with coimplication ⋮ Curry-Howard-Lambek correspondence for intuitionistic belief ⋮ Games and bisimulations for intuitionistic first-order Kripke models ⋮ Representing scope in intuitionistic deductions ⋮ Non-classical operations hidden in classical logic ⋮ Kripke models and intermediate logics ⋮ Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) ⋮ Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik ⋮ Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism ⋮ Embedding friendly first-order paradefinite and connexive logics ⋮ A study of intermediate predicate logics ⋮ Sheaf models and massless fields ⋮ Oskar Becker and the modal translation of intuitionistic logic ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic ⋮ Intuitionistic truth ⋮ Interpretations of Weak Positive Modal Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ On the axiomatisation of Elgesem's logic of agency and ability
This page was built for publication:
