Skip to main content

Logica Universalis OnlineFirst articles


Generalized Correspondence Analysis for Three-Valued Logics

Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics.


Pecularities of Some Three- and Four-Valued Second Order Logics

Logics that have many truth values—more than just True and False—have been argued to be useful in the analysis of very many philosophical and linguistic puzzles (as well, sometimes, in various computational-oriented tasks). In this paper, which is …


Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the …


A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies

In this work, we propose a meaningful extension of description logics for non-monotonic reasoning. We introduce $$\mathcal {ALCH}^{\bullet }$$ ALCH ∙ , a logic allowing for the representation of and reasoning about both typical class-membership …


Logical Consequence in Avicenna’s Theory

In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a …

Aktuelle Ausgaben

Über diese Zeitschrift

Logica Universalis (LU) publishes peer-reviewed research papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also philosophical and historical aspects of general concepts of logic.

Bibliographic Data
Log. Univers.
First published in 2007
1 volume per year, 4 issues per volume
approx. 500 pages per volume
Format: 15.5 x 23.5 cm
ISSN 1661-8297 (print)
ISSN 1661-8300 (electronic)

AMS Mathematical Citation Quotient (MCQ): 0.07 (2015)

Weitere Informationen

Premium Partner

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.



Best Practices für die Mitarbeiter-Partizipation in der Produktentwicklung

Unternehmen haben das Innovationspotenzial der eigenen Mitarbeiter auch außerhalb der F&E-Abteilung erkannt. Viele Initiativen zur Partizipation scheitern in der Praxis jedoch häufig. Lesen Sie hier  - basierend auf einer qualitativ-explorativen Expertenstudie - mehr über die wesentlichen Problemfelder der mitarbeiterzentrierten Produktentwicklung und profitieren Sie von konkreten Handlungsempfehlungen aus der Praxis.
Jetzt gratis downloaden!