scientific article; zbMATH DE number 7599926
From MaRDI portal
Publication:5039098
Recommendations
- scientific article; zbMATH DE number 871235
- Natural deduction for first-order hybrid logic
- Natural deduction for non-classical logics
- Towards a canonical classical natural deduction system
- Towards a Canonical Classical Natural Deduction System
- Natural deduction and sequent calculus for intuitionistic relevant logic
- Natural deduction for intuitionistic linear logic
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
- Natural deduction systems for logics in the FDE family
- Natural deduction for dual-intuitionistic logic
Cited in
(6)- Normality, non-contamination and logical depth in classical natural deduction
- Informational semantics, non-deterministic matrices and feasible deduction
- scientific article; zbMATH DE number 458994 (Why is no real title available?)
- Semantics and proof-theory of depth bounded Boolean logics
- scientific article; zbMATH DE number 871235 (Why is no real title available?)
- Hintikka's conception of syntheticity as the introduction of new individuals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039098)
