Results 51 to 60 of about 191,191 (174)

Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations

Bulletin of the Section of Logic
In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj   +1 more source

The Effect of Infill Steel Plate Thickness on the Cycle Behavior of Steel Plate Shear Walls

Diyala Journal of Engineering Sciences, 2018
The effect of changing in the bed slope of stilling basins produces changing in characteristics of the hydraulic jump such as sequent depth ratio, length of jump ratio, length of the roller and energy dissipation ratio, consequently the dimensions of ...
Ali sadik Abbas, Haider Alwash, Ali Abdul Jabbar Mahmood   +2 more
doaj   +1 more source

Sequent calculus for hybrid logic

Lietuvos Matematikos Rinkinys, 2023
There is not ...
Stanislovas Norgėla, Anželika Šalaviejienė   +1 more
doaj   +1 more source

Basic Logic and Quantum Entanglement [PDF]

, 2006
As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up.
Battilotti G, Bell J S, Birkhoff G, Gentzen G, Jozsa R, Nielsen M A, P A Zizzi, Zizzi P   +7 more
core   +2 more sources

Characteristics of Hydraulic Jump on The Bed with Permeable Six Legs Elements [PDF]

علوم و مهندسی آبیاری, 2017
Stilling basin is one of the dissipated energy structures in water transfer systems that its dimensions depend on the characteristics of hydraulic jump.In present study, six legs elements have been used in different permeability on basin bed and the ...
Maryam Khajeh Goodari, mahmood shafai bajestan   +1 more
doaj   +1 more source

Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics [PDF]

, 2002
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L ...
Gabbay, D., Metcalfe, G., Olivetti, N.
core  

Logical Metainferentialism

Ergo, An Open Access Journal of Philosophy
Logical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency.
Bogdan Dicher, Francesco Paoli
doaj   +2 more sources

Sequent systems for PLTL

Lietuvos Matematikos Rinkinys, 2013
We consider three sequent calculi for propositional linear temporal logic (PLTL) which allow us to formalize the properties of operator “always”.  The main new results presented in the paper are: (1) introduction of the calculus with looping axioms; (2 ...
Romas Alonderis, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

Combinatorial structure of type dependency [PDF]

, 2014
We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of all dependent sequent calculi, and exhibiting it as the category of algebras for a monad on a presheaf category. The
Garner, Richard
core   +1 more source

Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics

Bulletin of the Section of Logic
A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj   +1 more source