A normal form for algebraic constructions II

Logique Et Analyse 18 (71):429 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.
The normal form is not sufficient.Antonio Quesada - 2001 - Economics and Philosophy 17 (2):235-243.
Normal Gentzen deductions in the classical case.A. Palmigiano - 2000 - Logic Journal of the IGPL 8 (2):211-219.
Quantum measurement and algebraic quantum field theories.B. DeFacio - 1976 - Foundations of Physics 6 (2):185-192.
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):539-544.
An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.
Finite and Rational Tree Constraints.Torbjorn Keisu - 1994 - Logic Journal of the IGPL 2 (2):167-204.
Syntax for split preorders.Kosta Došen & Zoran Petrić - 2013 - Annals of Pure and Applied Logic 164 (4):443-481.
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of ℚ.Alexandra Shlapentokh - 2001 - Archive for Mathematical Logic 40 (4):297-328.
A Problem of Normal Form in Natural Deduction.Jan von Plato - 2000 - Mathematical Logic Quarterly 46 (1):121-124.
Algebraic substantivalism and the hole argument.Jonathan Bain - manuscript
Algebraic and Kripke Semantics for Substructural Logics.Chrysafis Hartonas - 1994 - Dissertation, Indiana University
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1149-1174.
On universal algebraic constructions of logics.H. Andréka, T. Gergely & I. Németi - 1977 - Studia Logica 36 (1-2):9 - 47.
Stochastic Evolution of Rules for Playing Finite Normal Form Games.Fabrizio Germano - 2007 - Theory and Decision 62 (4):311-333.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references