Projective and inductive generation of abstract logics

Studia Logica ◽  
1976 ◽  
Vol 35 (3) ◽  
pp. 249-255 ◽  
Author(s):  
Stephen L. Bloom
Keyword(s):  
Abstract Logics ◽  
Inductive Generation

scholarly journals Probability logic: A model-theoretic perspective

2020 ◽  
Author(s):  
M Pourmahdian ◽  
R Zoghifard
Keyword(s):  
Characterization Theorem ◽  
Expressive Power ◽  
Probability Logic ◽  
Theoretic Analysis ◽  
Compactness Property ◽  
Probability Models ◽  
Finitely Additive Probability ◽  
Additive Probability ◽  
Basic Probability ◽  
Abstract Logics

Abstract This paper provides some model-theoretic analysis for probability (modal) logic ($PL$). It is known that this logic does not enjoy the compactness property. However, by passing into the sublogic of $PL$, namely basic probability logic ($BPL$), it is shown that this logic satisfies the compactness property. Furthermore, by drawing some special attention to some essential model-theoretic properties of $PL$, a version of Lindström characterization theorem is investigated. In fact, it is verified that probability logic has the maximal expressive power among those abstract logics extending $PL$ and satisfying both the filtration and disjoint unions properties. Finally, by alternating the semantics to the finitely additive probability models ($\mathcal{F}\mathcal{P}\mathcal{M}$) and introducing positive sublogic of $PL$ including $BPL$, it is proved that this sublogic possesses the compactness property with respect to $\mathcal{F}\mathcal{P}\mathcal{M}$.

Abstract Logics, Logic Maps, and Logic Homomorphisms

2007 ◽  
Vol 1 (2) ◽  
pp. 243-276 ◽  
Author(s):  
Steffen Lewitzka
Keyword(s):  
Abstract Logics

An abstract algebraic logic approach to tetravalent modal logics

2000 ◽  
Vol 65 (2) ◽  
pp. 481-518 ◽  
Author(s):  
Josep Maria Font ◽  
Miquel Rius
Keyword(s):  
Algebraic Logic ◽  
Modal Logics ◽  
The Other ◽  
Abstract Algebraic Logic ◽  
Algebraic Semantics ◽  
Modal Algebras ◽  
Logic Approach ◽  
Abstract Logics ◽  
Joint Study

AbstractThis paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their “A General Algebraic Semantics for Sentential Logics”. The logics studied here arise from the algebraic and lattice-theoretical properties we review of Tetravalent Modal Algebras, a class of algebras studied mainly by Loureiro, and also by Figallo. Landini and Ziliani, at the suggestion of the late Antonio Monteiro.

Definability and automorphisms in abstract logics

2004 ◽  
Vol 43 (8) ◽  
pp. 937-945
Author(s):  
Xavier Caicedo
Keyword(s):  
Abstract Logics

Minimally Generated Abstract Logics

2009 ◽  
Vol 3 (2) ◽  
pp. 219-241 ◽  
Author(s):  
Steffen Lewitzka ◽  
Andreas B. M. Brunner
Keyword(s):  
Abstract Logics

scholarly journals Design and Analysis High Gain PHEMT LNA for Wireless Application at 5.8 GHz

2015 ◽  
Vol 5 (3) ◽  
pp. 611
Author(s):  
Kamil Pongot ◽  
Abdul Rani Othman ◽  
Zahriladha Zakaria ◽  
Mohamad Kadim Suaidi ◽  
Abdul Hamid Hamidon ◽  
...  
Keyword(s):  
Return Loss ◽  
Noise Figure ◽  
High Gain ◽  
Low Noise ◽  
Low Noise Amplifier ◽  
Output Terminal ◽  
Wireless Application ◽  
Noise Amplifier ◽  
The Stability ◽  
Inductive Generation

This research present a design of a higher  gain (66.38dB) for PHEMT LNA  using an inductive drain feedback technique for wireless application at 5.8GHz. The amplifier it is implemented using PHEMT FHX76LP transistor devices.  The designed circuit is simulated with  Ansoft Designer SV.  The LNA was designed using  T-network as a matching technique was used at the input and output terminal,  inductive generation to the source and an inductive drain feedback. The  low noise amplifier (LNA) using lumped-component provides a noise figure 0.64 dB and a gain (S<sub>21</sub>) of 68.94 dB. The output reflection (S<sub>22</sub>), input reflection (S<sub>11</sub>) and return loss (S<sub>12</sub>) are -17.37 dB, -15.77 dB and -88.39 dB respectively. The measurement shows the  stability was at  4.54 and 3-dB bandwidth of 1.72 GHz. While, the  low noise amplifier (LNA) using  Murata manufactured component provides a noise figure 0.60 dB and a gain (S<sub>21</sub>) of 66.38 dB. The output reflection (S<sub>22</sub>), input reflection (S<sub>11</sub>) and return loss (S<sub>12</sub>) are -13.88 dB, -12.41 dB and -89.90 dB respectively. The measurement shows the  stability was at  6.81 and 3-dB bandwidth of 1.70 GHz. The input sensitivity more than -80 dBm  exceeded the standards required by IEEE 802.16.

scholarly journals Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators

Studia Humana ◽  
2020 ◽  
Vol 9 (3-4) ◽  
pp. 66-71
Author(s):  
Alexandre Costa-Leite ◽  
Edelcio G. de Souza
Keyword(s):  
Modal Operators ◽  
Basic Concepts ◽  
Abstract Logics

AbstractDeparting from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.

Sign in / Sign up

Export Citation Format

Share Document