The following pages link to Logica Universalis (Q263103):
Displaying 50 items.
- Modelling inference in argumentation through labelled deduction: formalization and logical properties (Q874749) (← links)
- A new modal Lindström theorem (Q874750) (← links)
- Information algebras and consequence operators (Q874751) (← links)
- Structuralist logic: implications, inferences, and consequences (Q874753) (← links)
- Some restricted Lindenbaum theorems equivalent to the axiom of choice (Q874754) (← links)
- General logic-systems and finite consequence operators (Q874755) (← links)
- A Galois connection (Q874756) (← links)
- A universal logic approach to adaptive logics (Q874757) (← links)
- Equilibrium states in numerical argumentation networks (Q895825) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- Liberating paraconsistency from contradiction (Q895829) (← links)
- Strong normalizability of typed lambda-calculi for substructural logics (Q1001367) (← links)
- Abelian logic and the logics of pointed lattice-ordered varieties (Q1001368) (← links)
- ``Setting'' \(n\)-opposition (Q1001370) (← links)
- Perfect IFG-formulas (Q1001372) (← links)
- Birkhoff completeness in institutions (Q1001374) (← links)
- Logic prizes \textit{et cætera} (Q1632046) (← links)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- Dualities for Płonka sums (Q1632048) (← links)
- Abstract logical constants (Q1632049) (← links)
- On the modal logic of Jeffrey conditionalization (Q1632050) (← links)
- New logics for quantum non-individuals? (Q1632051) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers (Q1632055) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- Universal logic: evolution of a project (Q1653546) (← links)
- Aristotle's prototype rule-based underlying logic (Q1653547) (← links)
- Two early Arabic applications of model-theoretic consequence (Q1653548) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Natural deduction for Post's logics and their duals (Q1653550) (← links)
- Positive Jonsson theories (Q1653552) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Venn diagram with names of individuals and their absence: a non-classical diagram logic (Q1653555) (← links)
- A characterisation of some \(\mathbf{Z}\)-like logics (Q1653556) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- A molecular logic of chords and their internal harmony (Q1653559) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- A note on two's company: ``The humbug of many logical values'' (Q1682300) (← links)
- Expressivist perspective on logicality (Q1689557) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras (Q1689561) (← links)
- Classical negation strikes back: why Priest's attack on classical negation can't succeed (Q1689563) (← links)
- A proof-theoretic semantics for exclusion (Q1689564) (← links)
- The pursuit of an implication for the logics L3A and L3B (Q1689566) (← links)
