scientific article; zbMATH DE number 1418370

From MaRDI portal

Revision as of 07:43, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4941933

Jump to:navigation, search

zbMath0949.03006MaRDI QIDQ4941933

Beata Konikowska

Publication date: 6 December 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness similarity natural deduction nondeterminism indiscernibility three-valued logics Rasiowa-Sikorski deduction systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical first-order logic (03B10) Many-valued logic (03B50) Abstract deductive systems (03B22)

Related Items (5)

Quantifier-free logic for nondeterministic theories ⋮ Rasiowa-Sikorski deduction systems with the rule of cut: a case study ⋮ Quantifier-free logic for multialgebraic theories ⋮ The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. ⋮ Rasiowa-Sikorski deduction systems in computer science applications.

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4941933&oldid=19355772"