Skip to main content
main-content

Zeitschrift

Logica Universalis

Logica Universalis OnlineFirst articles

18.01.2019

Structural Rules for Multi-valued Logics

We study structural rules in the context of multi-valued logics with finitely-many truth-values. We first extend Gentzen’s traditional structural rules to a multi-valued logic context; in addition, we propos some novel structural rules, fitting …

17.12.2018

Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework

Gentzen-type sequent calculi GBD+, GBDe, GBD1, and GBD2 are respectively introduced for De and Omori’s axiomatic extensions BD+, BDe, BD1, and BD2 of Belnap–Dunn logic by adding classical negation. These calculi are constructed based on a small …

30.11.2018

Duality Results for (Co)Residuated Lattices

We present dualities (discrete duality, duality via truth and Stone duality) for implicative and (co)residuated lattices. In combination with our recent article on a discrete duality for lattices with unary modal operators, the present article …

29.11.2018

Positive Amalgamation

We study the amalgamation property in positive logic, where we shed light on some connections between the amalgamation property, Robinson theories, model-complete theories and the Hausdorff property.

05.09.2018

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.

Whitepaper

- ANZEIGE -

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!

Bildnachweise