Natural Deduction in a Paracomplete Setting

Logical Investigations
doi 10.21146/2074-1472-2014-20-0-222-245
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Philosophy, Russian Academy of Sciences

Related search

Towards a Canonical Classical Natural Deduction System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Natural Deduction for Hybrid Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Natural Deduction Systems for Some Non-Commutative Logics

Logic and Logical Philosophy
Philosophy
2007English

ASPIC-END: Structured Argumentation With Explanations and Natural Deduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

On Some Relations Between Natural Deduction and Sequent Calculus

English

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

Tariff Setting for Natural Monopolies in a Digitalized Economy

The Problems of Economy
2019English

Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

Journal of Functional Programming
Software
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy