Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

A new game theoretic semantics (GTS-2) for weak Kleene logics: Label: en
Propositional type theory of indeterminacy: Label: en
Categoricity problem for LP and K3: Label: en
De Morgan-Płonka sums: Label: en
Distributive PBZ*-lattices: Label: en
Representability of Kleene posets and Kleene lattices: Label: en
On Woodruff's constructive nonsense logic: Label: en
Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic: Label: en
Finite Hilbert systems for weak Kleene logics: Label: en
Editorial introduction: Label: en
Independence results for finite set theories in well-founded locally finite graphs: Label: en
An \(\omega\)-rule for the logic of provability and its models: Label: en
Nelson conuclei and nuclei: the twist construction beyond involutivity: Label: en
Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation: Label: en
Quineanism, noneism and metaphysical equivalence: Label: en
The logic ILP for intuitionistic reasoning about probability: Label: en
On pretabular extensions of relevance logic: Label: en
A logical theory for conditional weak ontic necessity in branching time: Label: en
A generalization of Beall's off-topic interpretation: Label: en
On a class of subreducts of the variety of integral srl-monoids and related logics: Label: en
Profinite locally finite quasivarieties: Label: en
Substructural nuclear (image-based) logics and operational Kripke-style semantics: Label: en
Heyting \(\kappa\)-frames: Label: en
Sets with dependent elements: a formalization of Castoriadis' notion of magma: Label: en
Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences: Label: en
Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}: Label: en
Intuitionistic public announcement logic with distributed knowledge: Label: en
Intuitionistic modal algebras: Label: en
Decidability of lattice equations: Label: en
From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth: Label: en
\textit{Brings it about that} operators decomposed with relating semantics: Label: en
Protoalgebraic logics: Label: en
Williamson's abductive case for the material conditional account: Label: en
Book review of: S. Bonzio, F. Paoli and M. P. Baldi, Logics of variable inclusion: Label: en
Birkhoff's and Mal'cev's theorems for implicational tonoid logics: Label: en
Sub-Hilbert lattices: Label: en
The elimination of maximum cuts in linear logic and BCK logic: Label: en
On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices: Label: en
Connexive negation: Label: en
Executability and connexivity in an interpretation of Griss: Label: en
Difference-making conditionals and connexivity: Label: en
Stalnakerian connexive logics: Label: en
An axiomatic system for concessive conditionals: Label: en
Connexivity in the logic of reasons: Label: en
Situation-based connexive logic: Label: en
Proof systems for super-strict implication: Label: en
Boolean connexive logic and content relationship: Label: en
Connexive logic, probabilistic default reasoning, and compound conditionals: Label: en
Angell and McCall meet Wansing: Label: en
Intuitionistic logic is a connexive logic: Label: en