scientific article; zbMATH DE number 3068529

Cited in

(52)

Holographic or Fourier logic
Fregean grammar: A formal outline
`Identity' as a mereological term
Propositions, representation, and truth
Combinatory logic with polymorphic types
Planning temporal events using point-interval logic
Creative and non-creative definitions in the calculus of probability
On proper quantifiers. I
A new reading of Archytas' doubling of the cube and its implications
Eigentliche Klassen als Urelemente in der Mengenlehre
A brief history of negation
The categoricity question of certain grand logics
The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
Taming the incomputable, reconstructing the nonconstructive and deciding the undecidable in mathematical economics
Absolute contradiction, dialetheism, and revenge
R. M. Martin's logic of belief
Unification of universes in set theory
On the relative consistency of set theory
A Set Theory Founded on Unique Generating Principle
A theory of restricted quantification I
Schemata: The Concept of Schema in the History of Logic
``Inference versus consequence revisited: inference, consequence, conditional, implication
What Were Tarski's Truth-Definitions for?
Deductive reasoning in the structuralist approach
Bases for first-order theories and subtheories
The complexity of the modal predicate logic of “true in every transitive model of ZF”
Gödel, Tarski, Church, and The Liar
Wittgenstein's \(ab\)-notation: an iconic proof procedure
Category theory and set theory as theories about complementary types of universals
Tarskian Classical Relevant Logic
Identification of probabilities
First-order logic without bound variables: compositional semantics
ALGEBRAIC NEW FOUNDATIONS
Sentential connectives and translation
A new-old characterisation of logical knowledge
Modifications of Quine's ML and inclusive quantification systems
The axiom of infinity in Quine's New Foundations
A relative consistency proof
Quantification and the empty domain
Distributivity and an axiom of choice
String theory
The Deduction Theorem (Before and After Herbrand)
Learning from the masters (and some of their pupils)
Scientific philosophy and the critique of metaphysics from Russell to Carnap to Quine
Non-normal super-strict implications
Composition and plethological innocence
The dynamical approach as practical geometry
Saul Kripke: a portrait of the modal logician as a young man
Structured meanings and the dynamic role of variables: a dilemma for Pickel and Rabern
A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
Systems of combinatory logic related to Quine's `New Foundations'
External and internal syntax of the \(\lambda \)-calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5807658)