scientific article; zbMATH DE number 3222098

Cited in

(only showing first 100 items - show all)

Predicate logical extensions of some subintuitionistic logics
Intuitionistic truth
A theory of modal dialectics
Completeness proofs for propositional logic with polynomial-time connectives
Non-monotonic logic. I
First-order indefinite and uniform neighbourhood semantics
Computations in fragments of intuitionistic propositional logic
The decision problem for some finite extensions of the intuitionistic theory of abelian groups
Vagueness, truth and logic
Normal modal model theory
A Kripke-style semantics for R-mingle using a binary accessibility relation
Tavole semantiche per sistemi astratti di logica estensionale
Semantical analyses of propositional systems of Fitch and Nelson
Intuitionist logic, a logic of justification
Intuitionistic propositional logic is polynomial-space complete
On logics with coimplication
Representing scope in intuitionistic deductions
An improved refutation system for intuitionistic predicate logic
A semantics for Prolog
Indexed systems of sequents and cut-elimination
Mathematical modal logic: A view of its evolution
Questions as information types
A semantic hierarchy for intuitionistic logic
Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
The creating subject, the Brouwer-Kripke schema, and infinite proofs
Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
A study of intermediate predicate logics
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted 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
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
The space of measurement outcomes as a spectral invariant for non-commutative algebras
Basic intuitionistic conditional logic
Kripke semantics for intuitionistic Łukasiewicz logic
A reinterpretation of the semilattice semantics with applications
Curry-Howard-Lambek correspondence for intuitionistic belief
Games and bisimulations for intuitionistic first-order Kripke models
Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
Embedding friendly first-order paradefinite and connexive logics
Oskar Becker and the modal translation of intuitionistic logic
A general relational semantics of propositional logic: axiomatization
Disjunction and negation in information based semantics
Effect of the choice of connectives on the relation between classical logic and intuitionistic logic
On the universality of atomic and molecular logics via protologics
Iterated team semantics for a hierarchy of informational types
Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
A Kripke model for simplicial sets
Free Heyting algebras
Negation on the Australian plan
The intuitionistic fragment of computability logic at the propositional level
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
The Church-Fitch knowability paradox in the light of structural proof theory
Kripke models and intermediate logics
Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik
Current trends in substructural logics
One-variable fragments of intermediate logics over linear frames
Hennessy-Milner properties via topological compactness
Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
Basic Constructive Connectives, Determinism and Matrix-Based Semantics
Forcing operators on MTL-algebras
Logical foundations of evidential reasoning with contradictory information
Inferential semantics, paraconsistency, and preservation of evidence
The Lambek calculus extended with intuitionistic propositional logic
Cut and gamma. I: Propositional and constant domain \textbf{R}
QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS
Non-classical operations hidden in classical logic
Bohrification of operator algebras and quantum logic
Intuitionistic completeness of first-order logic
Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
Direct deductive computation on discourse representation structures
Delimited control operators prove double-negation shift
scientific article; zbMATH DE number 6970800 (Why is no real title available?)
Functional Kan simplicial sets: non-constructivity of exponentiation
A 4-valued framework encompassing intuitionistic and classical logic
The defective conditional in mathematics
A computational interpretation of conceptivism
Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning
Iris from the ground up: a modular foundation for higher-order concurrent separation logic
Truth-maker semantics for intuitionistic logic
Belief functions on distributive lattices
Interpretations of weak positive modal logics
R-Mingle is Nice, and so is Arnon Avron
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
Bringing Order to the Separation Logic Jungle
Tableau for the logic ILP
Constructive sheaf models of type theory
Intuitive counterexamples for constructive fallacies
Topos Theory in Montréal in the 1970s: My Personal Involvement
Intuitionistic existential instantiation and epsilon symbol
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
Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
scientific article; zbMATH DE number 3253161 (Why is no real title available?)
scientific article; zbMATH DE number 3280031 (Why is no real title available?)
Homorphie-invariante Formeln in der intuitionistischen Logik
Unterstruktur-invariante Formeln in der intuitionistischen Logik
Proof complexity of non-classical logics
Completeness, minimal logic and programs extraction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5509675)