Natural Deduction Systems for Some Non-Commutative Logics

Logic and Logical Philosophy - Poland
doi 10.12775/llp.2007.005
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

Related search

Natural Deduction for Hybrid Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

On Some Relations Between Natural Deduction and Sequent Calculus

English

Note on Deduction Theorems in Contraction-Free Logics

English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

On the Quantum Dynamics of Non-Commutative Systems

Brazilian Journal of Physics
AstronomyPhysics
2008English

Some Remarks on Non-Commutative Extensions of Local Rings

Nagoya Mathematical Journal
Mathematics
1959English

Sequent Systems for Modal Logics

2002English

Natural Deduction in a Paracomplete Setting

Logical Investigations
2014English

Decision Procedures for Some Strong Hybrid Logics

Logic and Logical Philosophy
Philosophy
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy