A calculus for finitely satisfiable formulas with identity
type: Item
instance of: scholarly article
title: A calculus for finitely satisfiable formulas with identity
zbMATH Open document ID: 0262.02013
DOI: 10.1007/BF02008532
author: Arthur M. Bullock
author: Hubert H. Schneider
published in: Archiv für Mathematische Logik und Grundlagenforschung
publication date: 1972-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/137877
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03D25
zbMATH DE Number: 3412591
MaRDI profile type: MaRDI publication profile
cites work: A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain
cites work: Q5509669
cites work: Q5723177
OpenAlex ID: W2030074625
description: scientific article; zbMATH DE number 3412591