Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by В. О. Шангин
Natural Deduction in a Paracomplete Setting
Logical Investigations
Related publications
Towards a Canonical Classical Natural Deduction System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Natural Deduction for Hybrid Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
Natural Deduction Systems for Some Non-Commutative Logics
Logic and Logical Philosophy
Philosophy
ASPIC-END: Structured Argumentation With Explanations and Natural Deduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Some Relations Between Natural Deduction and Sequent Calculus
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tariff Setting for Natural Monopolies in a Digitalized Economy
The Problems of Economy
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
Journal of Functional Programming
Software