scientific article
From MaRDI portal
Publication:3235339
zbMath0073.24301MaRDI QIDQ3235339
Publication date: 1956
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Formalizing axiomatic systems for propositional logic in Isabelle/HOL ⋮ Schrödinger logics ⋮ Pecularities of some three- and four-valued second order logics ⋮ Second-order logic of paradox ⋮ Program-substitution and admissibility of rules in algorithmic logic ⋮ A second order theory of data types ⋮ Uncertainty, predictability and decidability in chaotic dynamical systems ⋮ Superidentities in the variety of lattices ⋮ Paraconsistent metatheory: new proofs with old tools ⋮ A finitely axiomatized formalization of predicate calculus with equality ⋮ Innovations in computational type theory using Nuprl ⋮ Relations in monadic third-order logic ⋮ Logic in Russell's Principles of Mathematics ⋮ Tarski's definition and truth-makers ⋮ Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic ⋮ Fregean logics ⋮ Descriptive characterizations of computational complexity ⋮ Different senses of finitude: an inquiry into Hilbert's finitism ⋮ The calculus of relations as a foundation for mathematics ⋮ Meaning and interpretation. I ⋮ A short proof of Glivenko theorems for intermediate predicate logics ⋮ TPS: A theorem-proving system for classical type theory ⋮ On the formal definition of categories ⋮ First degree entailments ⋮ Branching in the landscape of possibilities ⋮ Russell and his sources for non-classical logics ⋮ Super-De Morgan functions and free De Morgan quasilattices ⋮ 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 ⋮ Variation on a trivialist argument of Paul Kabay ⋮ Second-order logic and the power set ⋮ A complete uniform substitution calculus for differential dynamic logic ⋮ On the number of types ⋮ Specifications, models, and implementations of data abstractions ⋮ Frames in the space of situations ⋮ Open texture and mathematics ⋮ Equational propositional logic ⋮ The origin of relation algebras in the development and axiomatization of the calculus of relations ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Gödel's natural deduction ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ Transparent quantification into hyperintensional objectual attitudes ⋮ Logical foundations for programming semantics ⋮ Functional interpretations of feasibly constructive arithmetic ⋮ The revised report on the syntactic theories of sequential control and state ⋮ Finite-model theory -- A personal perspective ⋮ Logic, ontology, mathematical practice ⋮ Sentential connectives and translation ⋮ Tracks of relations and equivalences-based reasoning ⋮ Logic, sets, and mathematics ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ The deduction theorem for Lukasiewicz many-valued propositional calculi ⋮ Translations and structure for partial propositional calculi ⋮ On idempotent and hyperassociative structures ⋮ Characterizing Mal'cev conditions ⋮ Upper bounds on complexity of Frege proofs with limited use of certain schemata ⋮ An essay in the formal theory of extension and of intension ⋮ Four studies in metamathematics ⋮ Bi-facial truth: a case for generalized truth values ⋮ Urn models: A new kind of non-standard model for first-order logic ⋮ Why do informal proofs conform to formal norms? ⋮ Investigations into quantified modal logic. I ⋮ Holographic or Fourier logic ⋮ Universal semantics? ⋮ A modest logic of plurals ⋮ Classical second-order intensional logic with maximal propositions ⋮ Semantical analyses of propositional systems of Fitch and Nelson ⋮ A generalization of the Artin theorem ⋮ On the many facets of lists ⋮ Categorical invariance and structural complexity in human concept learning ⋮ The logic of the ontological square ⋮ Alternative semantics for quantified first degree relevant logic ⋮ Intuitionist logic, a logic of justification ⋮ Fregean grammar: A formal outline ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ The slingshot argument and sentential identity ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ Uniform substitution at one Fell swoop ⋮ Another solution to the problem of theoretical terms ⋮ When is a schema not a schema? On a remark by Suszko ⋮ Elimination problems in logic: a brief history ⋮ Harmony and autonomy in classical logic ⋮ What the Liar taught Achilles ⋮ The logic of instance ontology ⋮ Investigations in many-sorted quantor logic ⋮ Partitions and conditionals ⋮ Separability of normalizable superintuitionistic propositional logics ⋮ A study of intermediate predicate logics ⋮ Logic of paradox revisited ⋮ On computational complexity of Prolog programs ⋮ Operators in the paradox of the knower ⋮ Combinatory reduction systems: Introduction and survey ⋮ Skolem redux ⋮ Plausible inferences and plausible reasoning ⋮ Carnapian extensions of S5 ⋮ On the desirability of mechanizing calculational proofs ⋮ The logic and meaning of plurals. I ⋮ An interpretation of Łukasiewicz's 4-valued modal logic
This page was built for publication:
