Results 81 to 90 of about 165,353 (118)
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
, 1999 Camillo Fiorentini
openalex +2 more sources
Application of Analytical and Numerical Methods to the Sequent Depths Problem in Civil Engineering
, 2011 Prabhata K. Swamee +2 more
openalex +2 more sources
Nested Sequents for Quasi-transitive Modal Logics [PDF]
Sonia Marin, Paaras Padhiar
openalex +1 more source
Sequent-Type Proof Systems for Three-Valued Default Logic [PDF]
, 2022 Sopo Pkhakadze
openalex +1 more source
Relation between classical and intuitionistic sequent calculi of temporal logic
, 2001 Romas Alonderis
openalex +1 more source
On the semantics of proofs in classical sequent calculus [PDF]
, 2023 Fabio Massaioli
openalex +1 more source
Orthogonal Time Sequency Multiplexing Modulation [PDF]
, 2021 Tharaj Thaj, Emanuele Viterbo
openalex +1 more source
El Significado de la Negación Paraconsistente
Principia: An International Journal of Epistemology, 2009 This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical ...
Cecilia Duran, Gladys Palau
doaj
Deformation and Residual Stress Analysis of Automotive Frame Following as Welding Sequency Variation [PDF]
, 2013 Tae Won Park +3 more
openalex +1 more source