Deciding simple infinity axiom sets with one binary relation by means of superpostulates
type: Item
instance of: scholarly article
title: Deciding simple infinity axiom sets with one binary relation by means of superpostulates
DOI: 10.1007/978-3-030-51074-9_12
author: Timm Lampert
author: Anderson Nakano
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614514
zbMATH Keywords: first-order logic
zbMATH Keywords: decision problem
zbMATH Keywords: complete theories
zbMATH Keywords: infinity axioms
zbMATH Keywords: reduction classes
zbMATH Keywords: dyadic logic
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 12
OpenAlex ID: W3040284829
cites work: The classical decision problem.
cites work: Computability and Logic
cites work: Automated inference of finite unsatisfiability
cites work: On first-order sentences without finite models
cites work: Q3905252
cites work: Q5611757
cites work: Minimizing disjunctive normal forms of pure first-order logic
cites work: Finite axiomatizability and theories with trivial algebraic closure
cites work: Q5537599
cites work: Henry M. Sheffer and Notational Relativity
Recommended article: An infinity of super-Belnap logics
Recommended article: Decidability of the existential theory of infinite terms with subterm relation
Recommended article: Hyperhypersimple supersets in admissible recursion theory
Recommended article: Note on "The Logically Simplest Form of the Infinity Axiom"
Recommended article: Decidability of the binary infinite Post Correspondence Problem
Recommended article: The Logically Simplest Form of the Infinity Axiom
Recommended article: THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
Recommended article: Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations
Recommended article: Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
Recommended article: Expressive power of infinitary [0, 1]-valued logics
description: scientific article; zbMATH DE number 7614514