The following pages link to (Q5560258):
Displayed 50 items.
- A fuzzy logic with interval truth values (Q1568481) (← links)
- The proof complexity of analytic and clausal tableaux (Q1575658) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- Search algorithms in type theory (Q1575934) (← links)
- The revival of rejective negation (Q1582228) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Logical dialogues with explicit preference profiles and strategy selection (Q1689284) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- A procedural criterion for final derivability in inconsistency-adaptive logics (Q1775872) (← links)
- Intuitive semantics for first-degree entailments and `coupled trees' (Q1786806) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- A ''definitive'' probabilistic semantics for first-order logic (Q1835912) (← links)
- The theory of functional and subset dependencies over relational expressions (Q1837548) (← links)
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- Socratic proofs (Q1876085) (← links)
- Locally Boolean spectra (Q1891270) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- The logic of non-contingency (Q1903586) (← links)
- Ontologically minimal logical semantics (Q1903590) (← links)
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605) (← links)
- A logical framework for evolving software systems (Q1911313) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs (Q1926591) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Reasoning processes in propositional logic (Q1959223) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Strategies of inquiry, the `Sherlock holmes sense of deduction' revisited (Q1989974) (← links)
- Beyond graph neural networks with lifted relational neural networks (Q2071316) (← links)
- Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models (Q2095426) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- Synthetic tableaux: Minimal tableau search heuristics (Q2104533) (← links)
- Did Descartes make a diagonal argument? (Q2121477) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Eliminating models during model elimination (Q2142079) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \) (Q2144618) (← links)
- A note on cut-elimination for classical propositional logic (Q2144620) (← links)
- A non-clausal tableau calculus for \textsc{MinSat} (Q2234795) (← links)
- An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system (Q2255222) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)