scientific article; zbMATH DE number 3300581

Cited in

(93)

Predicate logical extensions of some subintuitionistic logics
Reference and perspective in intuitionistic logics
Ultimate stochastic entities
Noncumulative dialectical models and formal dialectics
A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
On superintuitionistic logics as fragments of proof logic extensions
Models for normal intuitionistic modal logics
Models for stronger normal intuitionistic modal logics
On finite linear intermediate predicate logics
Constructions of classical models by means of Kripke models (Survey)
On fragments of Medvedev's logic
Strong completeness with respect to finite Kripke models
Vagueness, truth and logic
A complete negationless system
Tavole semantiche per sistemi astratti di logica estensionale
Intuitionistic logic with strong negation
The independence results of set theory: An informal exposition
Lattices related to Post algebras and their applications to some logical systems
A study of Kripke-type models for some modal logics by Gentzen's sequential method
Intuitionistic propositional logic is polynomial-space complete
Representing scope in intuitionistic deductions
An improved refutation system for intuitionistic predicate logic
Algebraic proofs of cut elimination
Paraconsistency everywhere
On congruences in weak implicative semi-lattices
Maehara-style modal nested calculi
A semantic hierarchy for intuitionistic logic
Semi-intuitionistic logic with strong negation
Anti-intuitionism and paraconsistency
A new semantics for intuitionistic predicate logic
Semantical analysis of constructive PDL
A uniform procedure for converting matrix proofs into sequent-style systems
Partial up an down logic
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
On some classes of Heyting algebras with successor that have the amalgamation property
Basic intuitionistic conditional logic
A categorical equivalence for tense Nelson algebras
A non-clausal tableau calculus for \textsc{MinSat}
On some semi-intuitionistic logics
Generalizations of the weak law of the excluded middle
Topological representation of intuitionistic and distributive abstract logics
A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
Kripke models and intermediate logics
Uniform proofs as a foundation for logic programming
Intuitionistic Decision Procedures Since Gentzen
Intuitionistic games: determinacy, completeness, and normalization
The Classical Model Existence Theorem in Subclassical Predicate Logics I
Intuitionistic completeness of first-order logic
On the decidability ofp′, p″ andP″
Cut‐Elimination Theorem for the Logic of Constant Domains
Some Operators in Kripke Models with an Involution
Topological proofs of some Rasiowa-Sikorski lemmas
Krull dimension in modal logic
Tableaux for logic programming with strong negation
Generalized tableau systems for intermediate propositional logics
Converting non-classical matrix proofs into sequent-style systems
Intuitionistic Letcc via Labelled Deduction
A new constant in superintuitionistic logic L3
Intuitive counterexamples for constructive fallacies
Constructive reflectivity principles for regular theories
Intuitionistic existential instantiation and epsilon symbol
Rasiowa-Sikorski sets and forcing
Deciding intuitionistic propositional logic via translation into classical logic
Gödel and intuitionism
LINEAR TIME IN HYPERSEQUENT FRAMEWORK
Codimension and pseudometric in co-Heyting algebras
A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
Modal logics for communicating systems
A representation theorem for polyadic Heyting algebras
Interpolation theorems for intuitionistic predicate logic
Bisimulation and propositional intuitionistic logic
A Lindström theorem for intuitionistic first-order logic
Intuitionistic propositional probability logic
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
Linear depth deduction with subformula property for intuitionistic epistemic logic
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
Hypersequent calculi for intuitionistic logic with classical atoms
Kripke models for classical logic
An intuitionistically complete system of basic intuitionistic conditional logic
The logic ILP for intuitionistic reasoning about probability
Two-dimensional Kripke semantics. II: Stability and completeness
Simple tableaus for simple intuitionistic logics
Paraconsistent models of Zermelo-Fraenkel set theory
Two-dimensional Kripke semantics i: presheaves
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems
On a generalization of Heyting algebras. I
Nonmonotonic inferences: classical conclusions in an intuitionistic modal framework
Simple tableaus for simple logics
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
The logic of potential infinity
The happy formalist
Quantified modal logic: non-normal worlds and propositional attitudes
Optimization techniques for propositional intuitionistic logic and their implementation

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 Q5582318)