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.

Revising the elenchus via belief revision: Label: en
A dialectic contra-classical logic: Label: en
Operator counterparts of types of reasoning: Label: en
Unified deductive systems: an outline: Label: en
Rejection: a historico-epistemological view: Label: en
On consequence and rejection as operators: Label: en
Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation: Label: en
Complementary proof nets for classical logic: Label: en
Preface to the rejection special issue: Label: en
Probability logics for reasoning about quantum observations: Label: en
The decision problem for effective procedures: Label: en
An intensional formalization of generic statements: Label: en
Measuring inconsistency in generalized propositional logic extended with nonunary operators: Label: en
A study of the metatheory of assertoric syllogistic: Label: en
On rearrangement inequalities for triangular norms and co-norms in multi-valued logic: Label: en
Epistemic logics with quantification over epistemic operators: decidability and expressiveness: Label: en
Rooted hypersequent calculus for modal logic \textsf{S5}: Label: en
Ultravaluations and their applications in \textsf{CPL}: Label: en
Negative predication and distinctness: Label: en
Lindenbaum-type logical structures: Label: en
Abstract categorical logic: Label: en
Games and Lindström theorems: Label: en
Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament: Label: en
Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics: Label: en
In defense of logical universalism: taking issue with Jean van Heijenoort: Label: en
On rereading van Heijenoort's selected essays: Label: en
Toward a visual proof system: Lewis Carroll's method of trees: Label: en
Herbrand's fundamental theorem in the eyes of Jean van Heijenoort: Label: en
Frege's ancestral and its circularities: Label: en
Which mathematical logic is the logic of mathematics?: Label: en
Jean van Heijenoort's contributions to proof theory and its history: Label: en
Jean van Heijenoort's conception of modern logic, in historical perspective: Label: en
Historical development of modern logic: Label: en
Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic: Label: en
Jean van Heijenoort and the Gödel editorial project: Label: en
Jean van Heijenoort: kaleidoscope: Label: en
Scholarly publications of Jean van Heijenoort compiled by Irving H. Anellis: Label: en
Guest editor's introduction: JvH100: Label: en
Brain and its universal logical model of multi-agent biological systems: Label: en
Logics in fungal mycelium networks: Label: en
Things may not be simple: on Wittgenstein's internal relations: Label: en
Three-dimensional affine spatial logics: Label: en
On the logical geometry of geometric angles: Label: en
Two squares of opposition in two Arabic treatises: al-Suhrawardī and al-Sanūsī: Label: en
Logic, spatial algorithms and visual reasoning: Label: en
Recovering a logic from its fragments by meta-fibring: Label: en
Generalized definitional reflection and the inversion principle: Label: en
Some multi-conclusion modal paralogics: Label: en
Functorial duality for ortholattices and De Morgan lattices: Label: en
On preserving: Label: en