scientific article; zbMATH DE number 3222098
From MaRDI portal
zbMath0137.00702MaRDI QIDQ5509675
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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, Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus, Negative predication and distinctness, Bisimulation and propositional intuitionistic logic, Mechanising Gödel-Löb provability logic in HOL light, Intuitionistic mereology, Counterfactuals as modal conditionals, and their probability, Semantical analysis of the logic of bunched implications, Structural completeness and superintuitionistic inquisitive logics, What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?, Intuitionistic mereology. II: Overlap and disjointness, Definability of Boolean functions in Kripke semantics, Local causation, Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice, Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic, Homorphie-invariante Formeln in der intuitionistischen Logik, Unnamed Item, Unterstruktur-invariante Formeln in der intuitionistischen Logik, Unnamed Item, Completeness, minimal logic and programs extraction, Interpolation theorems for intuitionistic predicate logic, Proof Complexity of Non-classical Logics, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
