scientific article; zbMATH DE number 2068677

MaRDI QIDQ4465170zbMATH OpenFDO

Authors Lech Dubikajtis

Publication date 27 May 2004

zbMATH Keywords

validityempty domain

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• On two classical results in the first order logic
• Existential Presupposition and Logical Square
• scientific article; zbMATH DE number 1199087
• A logic of the doubtful. On optative and imperative logic.
• Incomplete assertions
• Логика суждений существования и силлогистика
• A universal deduction theorem
• A Note on Linear Kripke Models
• A note on formality and logical consequence
• The algebra of propositions.

Cited in

(2)

• Wspomnienie o Lechu Dubikajtisie (1927-2014)
• First order logic with empty structures

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