The following pages link to Albert Hoogewijs (Q590723):
Displaying 50 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Erotetic search scenarios and three-valued logic (Q302229) (← links)
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- A calculus for four-valued sequential logic (Q549178) (← links)
- The expressive unary truth functions of \(n\)-valued logic (Q558444) (← links)
- Truth and falsehood. An inquiry into generalized logical values (Q656420) (← links)
- An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz (Q677079) (← links)
- What difference does it make: Three truth-values or two plus gaps? (Q700692) (← links)
- Characterization of prime numbers in Łukasiewicz's logical matrix (Q751647) (← links)
- (Q796514) (redirect page) (← links)
- Minimally incomplete sets of Łukasiewiczian truth functions (Q796515) (← links)
- Two notions of compactness in Gödel logics (Q817682) (← links)
- Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Interpolation theorem in many-valued logics with designated values (Q911578) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- The higher-order-logic Formath (Q935562) (← links)
- Extending a first order predicate calculus with partially defined iota terms (Q998105) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Partial-predicate logic in computer science (Q1079560) (← links)
- Representation of Łukasiewicz' many-valued algebras (Q1102286) (← links)
- Two theorems on many-valued logics (Q1106833) (← links)
- Permutational representations of functions in k-valued logic (Q1122568) (← links)
- Predicate transformations in a k-valued logic (Q1122569) (← links)
- The completeness of the factor semantics for Łukasiewicz's infinite- valued logics (Q1208120) (← links)
- Sequent calculi for three-valued logics (Q1277163) (← links)
- Finite-valued reductions of infinite-valued logics (Q1407546) (← links)
- Many-valued logics and Suszko's thesis revisited (Q1577350) (← links)
- On finitely-valued inference systems (Q1580664) (← links)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) (Q1612691) (← links)
- On the classification of first order Gödel logics (Q1616771) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Deciding logics of linear Kripke frames with scattered end pieces (Q1699745) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- The non-definedness notion in expert systems (Q1818978) (← links)
- Propositional calculus under adjointness (Q1867660) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- KARNAK an automated theorem prover for PPC (Q1909618) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- The cardinality of the set of all clones containing a given minimal clone on three elements (Q1935019) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- Finiteness in infinite-valued Łukasiewicz logic (Q1971778) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Deontology of compound actions (Q2304622) (← links)
