The following pages link to Fregean logics (Q598302):
Displaying 29 items.
- Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Free equivalential algebras (Q952484) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- The structure of completely meet irreducible congruences in strongly Fregean algebras (Q2159489) (← links)
- Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- A Mathematical Life (Q4586411) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- Negation and Implication in Quasi-Nelson Logic (Q5059693) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- Towards Logics of Some Rough Perspectives of Knowledge (Q5245316) (← links)
- AGGREGATION AND IDEMPOTENCE (Q5414137) (← links)
- Free spectra of linear equivalential algebras (Q5486254) (← links)
