Natural deduction for non-classical logics
type: Item
instance of: scholarly article
title: Natural deduction for non-classical logics
zbMATH Open document ID: 0954.03010
DOI: 10.1023/A:1005003904639
author: Seán Matthews
author: Luca Viganò
author: David Basin
published in: Studia Logica
publication date: 2001-02-14T00:00:00Z
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1501370
zbMATH Keywords: Isabelle Logical Framework
zbMATH Keywords: framework for machine implementation
zbMATH Keywords: nonclassical logics
zbMATH Keywords: Kripke-style semantics
zbMATH Keywords: natural deduction
zbMATH Keywords: Kripke models
describes a project that uses: Isabelle
MaRDI profile type: Publication
full work available at URL: a:1005003904639
OpenAlex ID: W1489961769
Recommended article: Natural deduction for paraconsistent logic
Recommended article: Mechanizing Mathematical Reasoning
Recommended article: Natural Deduction for Hybrid Logic
Recommended article: Q3680812
Recommended article: Natural deduction for dual-intuitionistic logic
Recommended article: Natural deduction for intuitionistic linear logic
Recommended article: Natural deduction systems for some non-commutative logics
Recommended article: Natural deduction for bi-intuitionistic logic
Recommended article: Q4263877
Recommended article: Natural deduction and sequent calculus for intuitionistic relevant logic
description: scientific article; zbMATH DE number 1501370