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.

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
A simple way to overcome hyperconnexivity: Label: en
An algebraic investigation of the connexive logic \(\mathsf{C}\): Label: en
Connexive logic, connexivity, and connexivism: remarks on terminology: Label: en
Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics: Label: en
Tense operators on distributive lattices with implication: Label: en
A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic: Label: en
On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs: Label: en
Semantical analysis of the logic of bunched implications: Label: en
Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics: Label: en
Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic: Label: en
The elimination of direct self-reference: Label: en
On Heyting algebras with negative tense operators: Label: en
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic: Label: en
Systems for non-reflexive consequence: Label: en
FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3: Label: en
Correction to: ``Group representation for even and odd involutive commutative residuated chains: Label: en
Axiomatizing a minimal discussive logic: Label: en
A simple logic of the hide and seek game: Label: en
Semantics of computable physical models: Label: en
Some observations on the FGH theorem: Label: en
From contact relations to modal operators, and back: Label: en
A 2-categorial generalization of the concept of institution: Label: en
Non-standard stochastics with a first order algebraization: Label: en
Schönfinkel-type operators for classical logic: Label: en
Extending free pregroups with lower bounds: Label: en
Theories with the independence property: Label: en
Reversed resolution in reducing general satisfiability problem: Label: en
Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933: Label: en
Book review of: N. Kamide and H. Wansing, Proof theory of N4-related paraconsistent logics: Label: en
Rasiowa-Harrop disjunction property: Label: en
Proof analysis of Peirce's alpha system of graphs: Label: en