The following pages link to (Q4078023):
Displaying 42 items.
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- The relativity and universality of logic (Q514548) (← links)
- Fregean logics (Q598302) (← links)
- \(\in_K\): a non-Fregean logic of explicit knowledge (Q633160) (← links)
- Many-valued computational logics (Q912083) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Topological properties of concept spaces (full version) (Q963060) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- Galois structures (Q1100464) (← links)
- Equivalential logics. I (Q1159628) (← links)
- Equivalential logics. II (Q1167714) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness (Q1214909) (← links)
- Projective and inductive generation of abstract logics (Q1234289) (← links)
- The Fregean axiom and Polish mathematical logic in the \(1920^s\) (Q1256439) (← links)
- Non-monotonic fuzzy reasoning (Q1290571) (← links)
- Inducing implication relations (Q1330142) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- Abstract modal logics (Q1902554) (← links)
- An approach to uncertainty via sets of truth values (Q1903588) (← links)
- Fuzzy logics as families of bivaluated logics (Q1915303) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- What is a logic translation? (Q1931306) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Theory of completeness for logical spaces (Q1931338) (← links)
- A refutation theory (Q1931339) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Direct proofs of Lindenbaum conditionals (Q2254568) (← links)
- Adjoint interpretations of sentential calculi (Q2266005) (← links)
- Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data (Q2268856) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Logics preserving degrees of truth (Q2639042) (← links)
- A fuzzy version of default logic (Q3005744) (← links)
- Topological Properties of Concept Spaces (Q3529935) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
- A note on closure spaces determined by intersections (Q6154690) (← links)
- Consequence relations and data science: from Galois mappings to data interpretation (Q6577633) (← links)
- An essay in matrix semantics for consequence relations (Q6610498) (← links)
