Formalizing a non-linear Henkin quantifier
E. López-Escobar (1991)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Normal Form Theorem for Systems of Sequents”
Formalizing a non-linear Henkin quantifier
Connections between cuts and maximum segments
Mirjana Borisavljević (2010)
Kragujevac Journal of Mathematics
Similarity:
Maximum Cuts in Extended Natural Deduction
Mirjana Borisavljević (2010)
Publications de l'Institut Mathématique
Similarity:
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Jan von Plato (2017)
Bulletin of the Section of Logic
Similarity:
The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward root-first translation. The other direction, instead, is tricky, because of the partially ordered assumption formulas in a tree that can get closed by the end of a derivation. An algorithm is defined that operates alternatively from the leaves and root of a derivation and solves the problem.
Normalization as a consequence of cut elimination
Mirjana Borisavljević (2009)
Publications de l'Institut Mathématique
Similarity:
Minimum segments in sequent derivations.
Borisavljević, Mirjana (2003)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
On derivations of quantales
Qimei Xiao, Wenjun Liu (2016)
Open Mathematics
Similarity:
A quantale is a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins. We define the notions of right (left, two) sided derivation and idempotent derivation and investigate the properties of them. It’s well known that quantic nucleus and quantic conucleus play important roles in a quantale. In this paper, the relationships between derivation and quantic nucleus (conucleus) are studied via introducing the concept of pre-derivation. ...
On an equation with partial derivations in four-dimensional Euclidean space.
Utkina, E.A. (2005)
Lobachevskii Journal of Mathematics
Similarity:
On innerness of derivations on .
Barrenechea, A.L., Peña, C.C. (2005)
Lobachevskii Journal of Mathematics
Similarity:
Generalized derivations and bilocal Jordan derivations of nest algebras.
Yan, Dangui, Zhang, Chengchang (2011)
International Journal of Mathematics and Mathematical Sciences
Similarity: