scientific article; zbMATH DE number 2068677

zbMATH Open1053.03007MaRDI QIDQ4465170FDOQ4465170

Authors: Lech Dubikajtis 

Publication date: 27 May 2004

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

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.

zbMATH Keywords

validityempty domain

Mathematics Subject Classification ID

Classical first-order logic (03B10)

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)