Maksimova, L. L. (1986). On maximal intermediate logics with the disjunction property. Studia Logica, 45:69--45. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Propositional Lax Logic - Fairtlough, Mendler (1997) (4 citations) (Correct)
....delays, so that fl M means there exists a timing constraint d such that the circuit stabilizes in state M after time delay d. The two types of models represent two different ways of formalizing this idea. The first one, discussed in section 7. 1, is related to the intermediate logic of Maksimova [Maksimova, 1986] and the second one, which will be discussed in section 7.2 is related to an intermediate logic due to Kolmogorov and Medvedev [Medvedev, 1966] 7.1 Combinational Circuits I The standard way of interpreting propositional logic on circuits is to associate propositional constants with input and ....
....critical hazards that corrupt the functional operation. Finally, it should be mentioned that the fl free fragment of Circuit PLL, i.e. the intuitionistic base of Circuit PLL, deserves some attention in itself. For it coincides with the regular form of Maksimova s intermediate logic L Pi [Maksimova, 1986], more precisely we have fl free Circuit PLL = L Pi f : A oe A j A propositional constant g: This follows from the fact that both theories are generated by essentially by the same class of Kripke models, viz. finite nonempty sequences of bit vectors. For L Pi f: A oe Ag this can be deduced ....
Maksimova, L. L. (1986). On maximal intermediate logics with the disjunction property. Studia Logica, 45:69--45.
Propositional Lax Logic - Fairtlough, Mendler (1997) (4 citations) (Correct)
....We also give an upper bound on expressiveness and as a corollary obtain the decidability of fl free Circuit PLL. At this point it deserves mention that fl free Circuit PLL, i.e. the intuitionistic base of Circuit PLL, coincides with the stable form of Maksimova s intermediate logic L Pi [Maksimova, 1986], more precisely fl free Circuit PLL = L Pi f : A oe A j A propositional constant g: This follows from the fact that both theories are generated by effectively the same class of Kripke models. Thus, the results of this section are also results about stable L Pi. In particular from ....
Maksimova, L. L. (1986). On maximal intermediate logics with the disjunction property. Studia Logica, 45:69--45.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC