a public good project by the
Synthesis
Company
of California

© 2026

First order logic with empty structures | doi.page

0 citations0 references

Google Scholar doi.org

First order logic with empty structures

Studia Logica·1989·Vol. 48(2), pp. 169–177

Citations Over Time

Mohamed A. Amer

Related Papers

→ Diagrammatic Representation as a Tool for Clarifying Logical Arguments(2015)3 cited
→ Digital solutions for inference rules in decision-supporting systems(2010)3 cited
→ The sentential calculus using rule of inference R_e(1960)2 cited
Diaria: an integrated inference engine(1992)
→ Direct inference with labels using generalized 'modus ponens'(2002)