scientific article - MaRDI portal

Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz

Publication date: 9 May 2007

Title of this publication is not available (Why is that?)

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30)

Related Items (1)

A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case

Recommendations

Title not available (Why is that?) 👍 👎
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case 👍 👎
Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators 👍 👎
Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs 👍 👎
Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators 👍 👎
Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\) 👍 👎
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator 👍 👎
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator 👍 👎
Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present 👍 👎
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”. 👍 👎

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