The following pages link to Logica Universalis (Q263103):
Displaying 50 items.
- Analytics vs. elements (Q2169134) (← links)
- A universal algebraic set theory built on mereology with applications (Q2169135) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- A probabilistic logic between \(LPP_1\) and \(LPP_2\) (Q2169137) (← links)
- A methodological shift in favor of (some) paraconsistency in the sciences (Q2169139) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- Beyond logical pluralism and logical monism (Q2183711) (← links)
- Eigenlogic in the spirit of George Boole (Q2183712) (← links)
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- Positive amalgamation (Q2183715) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Farewell to suppression-freedom (Q2198315) (← links)
- Measuring inconsistency in generalized propositional logic (Q2198316) (← links)
- Bases for structures and theories. I. (Q2198318) (← links)
- Numerical existence property and categories with an internal copy (Q2198319) (← links)
- Logical rules as fractions and logics as sketches (Q2198320) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Encoding complete metric structures by classical structures (Q2228349) (← links)
- Bases for structures and theories II. (Q2228350) (← links)
- Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
- Graded structures of opposition in fuzzy natural logic (Q2228352) (← links)
- Constrained pseudo-propositional logic (Q2228353) (← links)
- Mathematical perspectives on liar paradoxes (Q2239380) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- Islamic contradictory theology \dots\ is there any such thing? (Q2239385) (← links)
- On the origin of logical determinism in Babylonia (Q2239386) (← links)
- Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic (Q2239387) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- From analogical proportion to logical proportions (Q2254553) (← links)
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart (Q2254554) (← links)
- The classical constraint on relevance (Q2254555) (← links)
- Universal properties of Łukasiewicz consequence (Q2254556) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Towards a more general concept of inference (Q2254558) (← links)
- Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- On non-deterministic quantification (Q2254562) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Fraïssé's construction from a topos-theoretic perspective (Q2254565) (← links)
- Adolf Lindenbaum: notes on his life, with bibliography and selected references (Q2254567) (← links)
- Direct proofs of Lindenbaum conditionals (Q2254568) (← links)
- On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos (Q2254569) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- There is no paradox of logical validity (Q2254573) (← links)
