Reasoning in Basic Description Logics and Description Logics with Modal Operators
Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić (2009)
Zbornik Radova
Similarity:
Displaying similar documents to “A note on the λ-Shelah property”
Reasoning in Basic Description Logics and Description Logics with Modal Operators
A general theory of superinfinitesimals
Benjamin Benninghofen, Michael Richter (1987)
Fundamenta Mathematicae
Similarity:
Compactness=JEP in any logic
Daniele Mundici (1983)
Fundamenta Mathematicae
Similarity:
Antinomy of “Liar” and antinomy of synonymous names
Ladislav Tondl (1966)
Kybernetika
Similarity:
Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
Speed-up for propositional Frege systems via generalizations of proofs
Jan Krajíček (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A generalization of abstract model theory
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
A metatheoretical characterization of negation as finite failure.
Giovanni Criscuolo (1996)
Mathware and Soft Computing
Similarity:
How to generalize logic programming to arbitrary set of clauses.
Prešić, Slaviša B. (1997)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity: