A note on infinitary continuous logic (Q3460523): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.201400077
+Normal rank
@@ Property / OpenAlex ID @@
+W2195178148
@@ Property / OpenAlex ID: W2195178148 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories of random variables
@@ Property / cites work: On theories of random variables / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of completeness for continuous first-order logic
+Normal rank
@@ Property / cites work @@
+Continuous first order logic and local stability
@@ Property / cites work: Continuous first order logic and local stability / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential Calculus for a First Order Infinitary Temporal Logic
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Free products in the category of Abelian \(\ell\)-groups with strong unit
+Normal rank
@@ Property / cites work @@
+Q5667781
@@ Property / cites work: Q5667781 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the semantic consequence relation in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+A complete axiomatic characterization of first-order temporal logic of linear time
+Normal rank