Results 21 to 30 of about 205,593 (312)

Between Thinking and Acting Fichte’s Deduction of the Concept of Right [PDF]

Manuscrito, 2023
Fichte’s ambitious project in the Foundations of Natural Right is to provide an a priori deduction of the concept of right independently from morality.
Laurenz Ramsauer
doaj   +1 more source

Proof Compression and NP Versus PSPACE II

Bulletin of the Section of Logic, 2020
We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2].
Lew Gordeev, Edward Hermann Haeusler
doaj   +1 more source

A Proof Theoretic Analysis of Intruder Theories [PDF]

Logical Methods in Computer Science, 2010
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages Gamma under the theory of blind signatures and arbitrary convergent equational theories modulo ...
Alwen F Tiu, Rajeev Gore, Jeremy Dawson
doaj   +1 more source

Proof Compression and NP Versus PSPACE II: Addendum

Bulletin of the Section of Logic, 2022
In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic (HSC) with the horizontal compressing in the corresponding minimal Prawitz-style natural ...
Lew Gordeev, Edward Hermann Haeusler
doaj   +1 more source

A note on strong normalization in classical natural deduction [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction.
José Espírito Santo
doaj   +1 more source

Natural Deduction Bottom Up [PDF]

Journal of Logic, Language and Information, 2021
AbstractThe paper introduces a new type of rules into Natural Deduction, elimination rules by composition. Elimination rules by composition replace usual elimination rules in the style of disjunction elimination and give a more direct treatment of additive disjunction, multiplicative conjunction, existence quantifier and possibility modality ...
openaire   +2 more sources

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

Bulletin of the Section of Logic, 2022
This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements.
Torben Braüner
doaj   +1 more source

A Review of Ayatollah Sayyid Muhammad Baqir al-Sadr's Philosophy of History: An Analysis of Inductive Methodology in Discovering Divine Historical Laws [PDF]

تاریخ نگری و تاریخ نگاری, 2023
This paper examines Ayatollah Sayyid Muhammad Baqir al-Sadr's perspective on history through methodological and substantive point of view. In Iqtisaduna (Our Economy), Sadr argues that the inductive laboratory methods used in the natural sciences cannot ...
Zahra AlhooiiNazari, Elham Rabiee
doaj   +1 more source

An Alternative Natural Deduction for the Intuitionistic Propositional Logic [PDF]

, 2016
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus ...
Ilić, Mirjana
core   +1 more source

Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [PDF]

Logical Methods in Computer Science, 2011
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems---such as for instance natural deduction---are applied.
Guillaume Burel
doaj   +1 more source