Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Logica Universalis

Issue 2/2008

Content (5 Articles)

Strong Normalizability of Typed  Lambda-Calculi for Substructural Logics

Motohiko Mouri, Norihiro Kamide

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

Francesco Paoli, Matthew Spinks, Robert Veroff

“Setting” n-Opposition

Régis Pellissier

Perfect IFG-Formulas

Allen L. Mann

Birkhoff Completeness in Institutions

Mihai Codescu, Daniel Găină

Mar 08
Issue: 1/2008
Jul 09
Issue: 1/2009

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits