The following pages link to (Q5582318):
Displaying 33 items.
- A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
- A non-clausal tableau calculus for \textsc{MinSat} (Q2234795) (← links)
- On some semi-intuitionistic logics (Q2352456) (← links)
- Generalizations of the weak law of the excluded middle (Q2354624) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach (Q2409389) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- Uniform proofs as a foundation for logic programming (Q2640596) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- The Classical Model Existence Theorem in Subclassical Predicate Logics I (Q3600568) (← links)
- On the decidability ofp′, p″ andP″ (Q4133964) (← links)
- Cut‐Elimination Theorem for the Logic of Constant Domains (Q4304102) (← links)
- Some Operators in Kripke Models with an Involution (Q4443422) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- Intuitive counterexamples for constructive fallacies (Q5096872) (← links)
- CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556) (← links)
- Intuitionistic Existential Instantiation and Epsilon Symbol (Q5213612) (← links)
- Rasiowa–Sikorski Sets and Forcing (Q5214735) (← links)
- Deciding intuitionistic propositional logic via translation into classical logic (Q5234697) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- Interpolation theorems for intuitionistic predicate logic (Q5957915) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- Intuitionistic propositional probability logic (Q6094169) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)
- Linear depth deduction with subformula property for intuitionistic epistemic logic (Q6156631) (← links)
- An intuitionistically complete system of basic intuitionistic conditional logic (Q6623812) (← links)
- The logic ILP for intuitionistic reasoning about probability (Q6636376) (← links)
