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 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
A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces: Label: en
Metamathematical properties of a constructive multi-typed theory: Label: en
Variants of Gödel's ontological proof in a natural deduction calculus: Label: en
A new hierarchy of infinitary logics in abstract algebraic logic: Label: en
A geometrical representation of the basic laws of categorial grammar: Label: en
Distributivity for upper continuous and strongly atomic lattices: Label: en
Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics: Label: en
Preface: Label: en
Kazimierz Ajdukiewicz (1890-1963): Label: en
Kazimierz Ajdukiewicz (1890-1963): Label: en
Kripke incomplete logics containing KTB: Label: en
Tableaux and dual tableaux: transformation of proofs: Label: en
Kripke models, distributive lattices, and Medvedev degrees: Label: en
Necessity and relative contingency: Label: en
An institution-independent proof of the Beth definability theorem: Label: en
A splitting logic in NExt(KTB): Label: en
The lattice of subvarieties of the variety defined by externally compatible identities of abelian groups of exponent \(n\): Label: en
Correction to: ``Graham Priest on dialetheism and paraconsistency: Label: en
Book review of: B. Liao (ed.) et al., Dynamics, uncertainty and reasoning: Label: en
Hilbert algebras with Hilbert-Galois connections: Label: en
Notes on models of (partial) Kripke-Feferman truth: Label: en
Linear \(L\)-algebras and prime factorization: Label: en
Intuitionistic propositional logic with Galois negations: Label: en
Discrete duality for Nelson algebras with tense operators: Label: en
Retracted article: ``There are infinitely many Mersenne prime numbers. Applications of Rasiowa-Sikorski lemma in arithmetic. II: Label: en
Retracted article: ``The twin primes conjecture is true in the standard model of Peano arithmetic. Applications of Rasiowa-Sikorski lemma in arithmetic. I: Label: en
Book review of: N. Kürbis, Proof and falsity: a logical investigation: Label: en
Kapsner complementation: an algebraic take on Kapsner strong logics: Label: en
The quantified argument calculus with two- and three-valued truth-valuational semantics: Label: en
Infinitary action logic with multiplexing: Label: en
Finite model property in weakly transitive tense logics: Label: en
The categorical equivalence between domains and interpolative generalized closure spaces: Label: en
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality: Label: en
Everyone knows that everyone knows: Label: en
A geometric interpretation of logical formulae: Label: en
Über den auf Alternative und Negation aufgebauten Aussagenkalkül: Label: en
A contribution to the history of propositional calculus: Label: en
Über die Regeln des Aussagenkalküls: Label: en
St. Leśniewski's protothetics: Label: en
Temporal necessity and the conditional: Label: en