scientific article; zbMATH DE number 3122413

Cited in

(only showing first 100 items - show all)

The logic of the ontological square
The slingshot argument and sentential identity
Another solution to the problem of theoretical terms
Elimination problems in logic: a brief history
Carnapian extensions of S5
Program-substitution and admissibility of rules in algorithmic logic
A second order theory of data types
Descriptive characterizations of computational complexity
On the formal definition of categories
First degree entailments
First-order indefinite and uniform neighbourhood semantics
Solvable classes of pseudoprenex formulas
A measure theoretic approach to logical quantification
Approximability of operators in constructive metric spaces
Specifications, models, and implementations of data abstractions
Frames in the space of situations
The origin of relation algebras in the development and axiomatization of the calculus of relations
The revised report on the syntactic theories of sequential control and state
Logic, ontology, mathematical practice
Logic, sets, and mathematics
The deduction theorem for Lukasiewicz many-valued propositional calculi
Translations and structure for partial propositional calculi
Characterizing Mal'cev conditions
An essay in the formal theory of extension and of intension
Four studies in metamathematics
Urn models: A new kind of non-standard model for first-order logic
Investigations into quantified modal logic. I
Holographic or Fourier logic
Universal semantics?
Classical second-order intensional logic with maximal propositions
Semantical analyses of propositional systems of Fitch and Nelson
On the many facets of lists
Alternative semantics for quantified first degree relevant logic
Intuitionist logic, a logic of justification
Fregean grammar: A formal outline
What the Liar taught Achilles
The logic of instance ontology
Partitions and conditionals
Separability of normalizable superintuitionistic propositional logics
On computational complexity of Prolog programs
Operators in the paradox of the knower
Combinatory reduction systems: Introduction and survey
Schrödinger logics
Uncertainty, predictability and decidability in chaotic dynamical systems
Superidentities in the variety of lattices
Relations in monadic third-order logic
Logic in Russell's Principles of Mathematics
Harmony and autonomy in classical logic
On the desirability of mechanizing calculational proofs
Pecularities of some three- and four-valued second order logics
Second-order logic of paradox
Second-order logic and the power set
A complete uniform substitution calculus for differential dynamic logic
On the number of types
Gödel's natural deduction
A study of intermediate predicate logics
Skolem redux
A finitely axiomatized formalization of predicate calculus with equality
TPS: A theorem-proving system for classical type theory
Russell and his sources for non-classical logics
Open texture and mathematics
On idempotent and hyperassociative structures
Bi-facial truth: a case for generalized truth values
A generalization of the Artin theorem
If structured propositions are logical procedures then how are procedures individuated?
Formalizing axiomatic systems for propositional logic in Isabelle/HOL
Paraconsistent metatheory: new proofs with old tools
Wave-particle duality and the objectiveness of ``true and ``false
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
Why do informal proofs conform to formal norms?
\(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
Uniform substitution at one Fell swoop
When is a schema not a schema? On a remark by Suszko
Variation on a trivialist argument of Paul Kabay
Upper bounds on complexity of Frege proofs with limited use of certain schemata
A modest logic of plurals
Relation algebras and function semigroups
The Shoenfield absoluteness lemma
The decision problem for the logic of predicates and of operations
Beweisalgorithmen für die Prädikatenlogik
A semantical analysis of implicational system I and of the first degree of entailment
On the vicious circle in definitions
On maximal intermediate predicate constructive logics
An interpretation of Łukasiewicz's 4-valued modal logic
Gödel on deduction
Meaning and interpretation. II
Davidson, correspondence truth and the frege-Gödel—church argument
A Brief History of Natural Deduction
Domains of Sciences, Universes of Discourse and Omega Arguments
Existential-import mathematics
Linear representation of medial-like algebras
Taming the incomputable, reconstructing the nonconstructive and deciding the undecidable in mathematical economics
Super-Boolean functions and free Boolean quasilattices.
Game semantics and the manifestation thesis
Aristotle on universal quantification: a study from the point of view of game semantics
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
Artin theorem for semigroups
The compactness of first-order logic:from gödel to lindström
Zero-place operations and functional completeness, and the definition of new connectives
A critical appraisal of second-order logic

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 Q3235339)