Maximum Cuts in Extended Natural Deduction
Mirjana Borisavljević (2010)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “Connections between cuts and maximum segments”
Maximum Cuts in Extended Natural Deduction
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:
Normal Form Theorem for Systems of Sequents
Mirjana Borisavljević (2007)
Publications de l'Institut Mathématique
Similarity:
Generators of rings of constants of derivations.
Jȩdrzejewicz, Piotr (2007)
Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Universitatis Iagellonicae Acta Mathematica
Similarity:
A Parigot-style linear -calculus for full intuitionistic linear logic.
de Paiva, Valeria, Ritter, Eike (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Some remarks about bounded derivations on the Hilbert space of square summable matrices.
Barrenechea, Ana L., Peña, Carlos C. (2005)
Matematichki Vesnik
Similarity:
Orthogonal generalized -derivations of semiprime rings.
Gölbaşi, Öznur, Aydin, Neşet (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Formalizing a non-linear Henkin quantifier
E. López-Escobar (1991)
Fundamenta Mathematicae
Similarity:
Skew derivations of prime rings.
Firat, A. (2006)
Sibirskij Matematicheskij Zhurnal
Similarity: