The following pages link to Logica Universalis (Q263103):
Displaying 50 items.
- Beppo Levi's analysis of the paradoxes (Q2392013) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Translating non-classical logics into classical logic by using hidden variables (Q2399603) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- A bunch of diagrammatic methods for syllogistic (Q2418012) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- Structural rules for multi-valued logics (Q2418014) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Logical consequence in Avicenna's theory (Q2418016) (← links)
- Things that are right with the traditional square of opposition (Q2425876) (← links)
- Applications of squares of oppositions and their generalizations in philosophical analysis (Q2425877) (← links)
- Visualizations of the square of opposition (Q2425879) (← links)
- Ploucquet's ``refutation'' of the traditional square of opposition (Q2427062) (← links)
- John Buridan on the bearer of logical relations (Q2427063) (← links)
- Non-classical stems from classical: N. A. Vasiliev's approach to logic and his reassessment of the square of opposition (Q2427065) (← links)
- Non-traditional squares of predication and quantification (Q2427067) (← links)
- The square of opposition and the paradoxes (Q2427068) (← links)
- Aristotle's non-logical works and the square of oppositions in semiotics (Q2427070) (← links)
- The square of opposition and the four fundamental choices (Q2427071) (← links)
- Aristotle's cubes and consequential implication (Q2427072) (← links)
- Weakened semantics and the traditional square of opposition (Q2427073) (← links)
- Logical extensions of Aristotle's square (Q2427076) (← links)
- Abstract logics, logic maps, and logic homomorphisms (Q2470758) (← links)
- Structuring the universe of universal logic (Q2470759) (← links)
- On preserving (Q2470760) (← links)
- Functorial duality for ortholattices and De Morgan lattices (Q2470761) (← links)
- Some multi-conclusion modal paralogics (Q2470763) (← links)
- Generalized definitional reflection and the inversion principle (Q2470764) (← links)
- Recovering a logic from its fragments by meta-fibring (Q2470765) (← links)
- Logic, spatial algorithms and visual reasoning (Q2688866) (← links)
- Two squares of opposition in two Arabic treatises: al-Suhrawardī and al-Sanūsī (Q2688867) (← links)
- On the logical geometry of geometric angles (Q2688868) (← links)
- Three-dimensional affine spatial logics (Q2688870) (← links)
- Things may not be simple: on Wittgenstein's internal relations (Q2688871) (← links)
- Logics in fungal mycelium networks (Q2688875) (← links)
- Brain and its universal logical model of multi-agent biological systems (Q2688877) (← links)
- Games and Lindström theorems (Q6043095) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Lindenbaum-type logical structures (Q6043098) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- Ultravaluations and their applications in \textsf{CPL} (Q6054105) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
- On rearrangement inequalities for triangular norms and co-norms in multi-valued logic (Q6054108) (← links)
- A study of the metatheory of assertoric syllogistic (Q6054110) (← links)
- Measuring inconsistency in generalized propositional logic extended with nonunary operators (Q6054111) (← links)
- An intensional formalization of generic statements (Q6113687) (← links)
